Revision as of 08:28, 19 September 2022 by Curator 75(talk | contribs)(Created page with "{{Event |Acronym=IFM 2007 |Title=International Conference on Integrated Formal Methods |Ordinal=6 |In Event Series=Event Series:IFM |Single Day Event=no |Start Date=2007/07/02...")