Skip to content Skip to footer

Best paper award ATVA 2021

Prize: Publication prize

Description

19th International Symposium on Automated Technology for Verification and Analysis
18 - 22 October 2021, Gold Coast (Online), Australia
Degree of recognitionInternational

Conference

TitleThe 19th International Symposium on Automated Technology for Verification and Analysis
Abbreviated titleATVA 2021
Conference number
Duration18 - 22 October 2021
Website
Degree of recognitionInternational event
Locationonline
CityGold Coast
CountryAustralia

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis

Related content