Difference between revisions of "FM"
Jump to navigation
Jump to search
(Updated intro, categories) |
(Typo correction) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | The '''International Symposium | + | The '''International Symposium on Formal Methods''' ('''FM''') conference series is organized by [[Formal Methods Europe]]. |
== 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]] | ||
Latest revision as of 01:52, 13 July 2010
The International Symposium on Formal Methods (FM) conference series is organized by Formal Methods Europe.