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
Einar Broch Johnsen
Professor