FM: Difference between revisions
m International Symposium of Formal Methods moved to FM: Short form like others |
Updated intro, categories |
||
| Line 1: | Line 1: | ||
The '''International Symposium of Formal Methods''' series is organized by [[Formal Methods Europe]]. | The '''International Symposium of Formal Methods''' ('''FM''') conference series is organized by [[Formal Methods Europe]]. | ||
== See also == | == See also == | ||
* [[FM2011]] | * [[FM2011]] | ||
[[Category: | [[Category:Conference series]] | ||
[[Category:Formal methods]] | |||
Revision as of 00:18, 13 July 2010
The International Symposium of Formal Methods (FM) conference series is organized by Formal Methods Europe.