ICORE 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

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

Acronym: FM

DBLP Source: https://dblp.uni-trier.de/db/conf/fm

Source: CORE2023

Rank: A

Field Of Research: 4612 - Software engineering (h-index) (citation)

Field Of Research: 4613 - Theory of computation

Source: CORE2021

Rank: A

Field Of Research: 4612 - Software engineering

Used as comparator, leave as A (Data 1) (Data 2) (Decision)

Source: CORE2020

Rank: A

Field Of Research: 4612 - Software engineering

Source: CORE2018

Rank: A

Field Of Research: 0802 - Computation Theory and Mathematics†

Source: CORE2017

Rank: A

Field Of Research: 0802 - Computation Theory and Mathematics†

Source: CORE2014

Rank: A

Field Of Research: 0802 - Computation Theory and Mathematics†

Source: CORE2013

Rank: A

Field Of Research: 0802 - Computation Theory and Mathematics†

Source: ERA2010

Rank: A

Field Of Research: 0802 - Computation Theory and Mathematics†

Source: CORE2008

Rank: A

FoR Codes with a † may be old and no longer in use

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

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