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