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