e/Formal Methods Europe

Information
has gloss	eng: Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in scope. FME operates under Dutch law.
lexicalization	eng: Formal Methods Europe
instance of	c/Computer science organizations