FMICS-AVoCS 2017
International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems
18-20 September 2017
University of Torino, Italy
Colocated with
13th International Conference on integrated Formal Methods (iFM 2017)
Call for Papers
Proceedings
Best Paper
Committees
Invited Speakers
Program
Past Editions
Call for Papers
Proceedings
Best Paper
Committees
Invited Speakers
Program
Past Editions
Invited Speakers
Parosh Abdulla, Uppsala University, Sweden
Kerstin Eder, University of Bristol, UK