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

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 (h-index) (citation)
Field Of Research: 4613 - Theory of computation (h-index) (citation)
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