"Formal Methods and Software Engineering - 17th International Conference on ..."

Michael J. Butler, Sylvain Conchon, Fatiha Zaïdi (2015)

Details and statistics

DOI: 10.1007/978-3-319-25423-4

access: closed

type: Editorship

metadata version: 2019-06-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics