Explore relationships

Formal Methods Europe

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.

Use + to expand a branch. Click a topic name to open its summary.