Difference between revisions of "FM"
Jump to navigation
Jump to search
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 01:18, 13 July 2010
The International Symposium of Formal Methods (FM) conference series is organized by Formal Methods Europe.