Formal Methods Europe

Homepage of FME

Steering Group

FME organizes the Formal Methods (FM) conference series. A steering group advices FME in symposia matters. The following members serve on the steering group: