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

Computer Aided Verification

Acronym: CAV

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

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) (Decision)

Source: CORE2020

Rank: A*

Field Of Research: 4612 - Software engineering

Source: CORE2018

Rank: A*

Field Of Research: 0802 - Computation Theory and Mathematics†

data provided as a comparator. Appropriate as A*. (Data 1) (Decision)

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 (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