Search

Author/Creator Steffen, Martin

3. Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers /: SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers. ([2020])

Editors:
(Computer scientist), Cámara, Javier; Steffen, Martin
Other Names:
International Conference on Software Engineering and Formal Methods, 17th; CoSim-CPS (Workshop), 3rd; ASYDE (Workshop); CIFMA (Workshop); International Workshop on the Foundations of Coordination Languages and Software Architectures, 17th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search