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

International Symposium on Automated Technology for Verification and Analysis

Acronym: ATVA
DBLP Source: https://dblp.uni-trier.de/db/conf/atva
Source: CORE2023
Rank: B
Field Of Research: 4612 - Software engineering (h-index) (citation)
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering
Used as comparator, downrank to B (Data 1) (Decision)
Source: CORE2020
Rank: A
Field Of Research: 4612 - Software engineering
Source: CORE2018
Rank: A
Field Of Research: 0803 - Computer Software†
Source: CORE2017
Rank: A
Field Of Research: 0803 - Computer Software†
Source: CORE2014
Rank: A
Field Of Research: 0803 - Computer Software†
Source: CORE2013
Rank: A
Field Of Research: 0803 - Computer Software†
Source: ERA2010
Rank: A
Field Of Research: 0803 - Computer Software†
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

Sort by:


You must sign in to leave comments