Difference between revisions of "FM"
(Updated intro, categories) |
(Added external links section) |
||
Line 3: | Line 3: | ||
== See also == | == See also == | ||
* [[FM2011]] | * [[FM2011]] | ||
+ | |||
+ | == External links == | ||
+ | * [http://formalmethods.wikia.com/wiki/FM_conference FM conferences] | ||
[[Category:Conference series]] | [[Category:Conference series]] | ||
[[Category:Formal methods]] | [[Category:Formal methods]] |
Revision as of 01:25, 13 July 2010
The International Symposium of Formal Methods (FM) conference series is organized by Formal Methods Europe.