Formal Methods Europe

2024-07-05

Computers, Programming, Languages, Specification - Formal Methods Europe. An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development.

An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.