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

Integrated Formal Methods

Acronym: IFM
DBLP Source: https://dblp.uni-trier.de/db/conf/ifm
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering†
Field Of Research: 4613 - Theory of computation†
Comparator, leave as B (Data) (Decision)
Source: CORE2020
Rank: B
Field Of Research: 4612 - Software engineering†
Field Of Research: 4613 - Theory of computation†
Source: CORE2018
Rank: B
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2017
Rank: B
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2014
Rank: B
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2013
Rank: B
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: ERA2010
Rank: B
Field Of Research: 0802 - Computation Theory and Mathematics†
Source: CORE2008
Rank: B
FoR Codes with a † may be old and no longer in use

Comments (0)

Average User Rating: N/A

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

Sort by:


You must sign in to leave comments