Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Proc. 10th International Conference on Integrated Formal Methods (IFM 2013)
Einar Broch Johnsen
,
Luigia Petre
,
(Eds)
June, 2013
Cite
DOI
Type
Edited volume
Publication
LNCS 7940. © Springer 2013.
Einar Broch Johnsen
Professor
Cite
×