Back to search
International Symposium on Automated Technology for Verification and Analysis
DBLP Source:
https://dblp.uni-trier.de/db/conf/atva
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering
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†
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