Revision as of 07:01, 8 September 2022 by Curator 75(talk | contribs)(Created page with "{{Event |Acronym=FM 1998 |Title=International Symposium on Formal Methods |Ordinal=8 |In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848 |Single Day Event=no |S...")