Title | Acronym | Source | Rank | Note | DBLP | Primary FoR | Comments | Average Rating |
---|---|---|---|---|---|---|---|---|
International Symposium on Automated Technology for Verification and Analysis | ATVA | CORE2017 | A | none |
view
|
0803 | 0 | N/A |