Automated technology for verification and analysis: 20th international symposium, atva 2022, virtual event, october 25–28, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031199912
Date de publication :
23 oct. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.