FM: Difference between revisions
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 00:25, 13 July 2010
The International Symposium of Formal Methods (FM) conference series is organized by Formal Methods Europe.