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 | search journals

International Symposium on Automated Technology for Verification and Analysis

Acronym: ATVA
DBLP Source: https://dblp.uni-trier.de/db/conf/atva
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