FMICS 2018: Maynooth, Ireland

Invited Talks

Formal Methods for Industrial Critical Systems

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

maintained by Schloss Dagstuhl LZI, founded at University of Trier