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