Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Erika Ábrahám
,
Marcello M. Bonsangue
,
Einar Broch Johnsen
,
(Eds)
March, 2016
Cite
DOI
Abstract
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Type
Edited volume
Publication
LNCS 9660. © Springer 2016.
Einar Broch Johnsen
Professor
Cite
×