Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Abstract

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

Publication
LNCS 9660. © Springer 2016.