Curator 75 (talk | contribs) (Created page with "{{Event |Acronym=FM 1997 |Title=International Symposium on Formal Methods |Ordinal=7 |In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848 |Single Day Event=no |S...") |
Curator 75 (talk | contribs) |
||
Line 2: | Line 2: | ||
|Acronym=FM 1997 | |Acronym=FM 1997 | ||
|Title=International Symposium on Formal Methods | |Title=International Symposium on Formal Methods | ||
− | |Ordinal= | + | |Ordinal=4 |
|In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848 | |In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848 | ||
|Single Day Event=no | |Single Day Event=no |