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