Join FME – Formal Methods Europe – community
Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners interested in formal methods for developing computing systems and software. FME’s aim is to promote research in formal methods and its applications. The association’s members are drawn equally from academic institutes and commercial companies. FME’s activities include the dissemination of research findings and industrial experience through symposia and Read More …