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

You must sign in to leave comments