"Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer ..."

Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen (2016)

Details and statistics

DOI: 10.1007/978-3-319-30734-3

access: closed

type: Editorship

metadata version: 2019-10-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics