Revision as of 07:23, 19 September 2022 by Curator 75(talk | contribs)(Created page with "{{Event |Acronym=FMICS 2017 |Title=International Workshop on Formal Methods for Industrial Critical Systems |Ordinal=22 |In Event Series=Event Series:18970f09-4ba8-4bc6-82b8-5...")