Formal Methods Europe (FME) is the leading international organization concerned with formal methods. It organizes the FM conference (formerly the FME conference), approximately every 18 months.
See also[]
- FM conferences including FM 2011
- BCS-FACS
133
pages
Formal Methods Europe