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

Abstract

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Type

Publication

LNCS 9660. © Springer 2016.