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

Abstract

Publication
LNCS 9660. © Springer 2016.
Date