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: CORE2023
Rank: B
Field Of Research: 4612 - Software engineering
Field Of Research: 4613 - Theory of computation
This conference was on the review list to retain current rank. Requested to retain B, decision B. (Data 1) (Decision)
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering
Field Of Research: 4613 - Theory of computation
Comparator, leave as B (Data 1) (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