. "The FM conference (formerly known as FME), the International Symposium on Formal Methods, is the leading international conference on formal methods, organized by Formal Methods Europe and held approximately every 18 months."@en . "The FM conference (formerly known as FME), the International Symposium on Formal Methods, is the leading international conference on formal methods, organized by Formal Methods Europe and held approximately every 18 months."@en . . . "FM conference"@en .