FMICS 2018: Maynooth, Ireland

Invited Talks

Formal Methods for Industrial Critical Systems

Essays Dedicated to Susanne Graf on the Occasion of Her 60th Birthday

a service of Schloss Dagstuhl - Leibniz Center for Informatics