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