Automated technology for verification and analysis: 19th international symposium, atva 2021, gold coast, qld, australia, october 18–22, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030888848
Date de publication :
14 oct. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.