Conference Portal

Sign in with LinkedIn
Signing in with LinkedIn authorizes us to store your name, email address, headline and display picture

why?
Back to search | search journals

International Symposium on Formal Methods (was Formal Methods Europe FME)

Acronym: FM
DBLP Source: https://dblp.uni-trier.de/db/conf/fm
Source: CORE2020
Rank: A
Primary Field Of Research: 4612 - Software engineering
Source: CORE2018
Rank: A
Source: CORE2017
Rank: A
Source: CORE2014
Rank: A
Source: CORE2013
Rank: A
Source: ERA2010
Rank: A
Source: CORE2008
Rank: A

Comments (1)

Average User Rating: 4.0

Welcoming:N/A
Feedback:N/A
Networking:N/A
Interaction:N/A
Top people:N/A
Worthwhile:N/A

Sort by:

Goran Frehse wrote: Nov. 13, 2017, 10:05 p.m.
Since 2005 the conference is called FM (International Symposium on Formal Methods), see http://www.fmeurope.org/?page_id=221

Rating:

You must sign in to leave comments