Automated technology for verification and analysis: 18th international symposium, atva 2020, hanoi, vietnam, october 19–23, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030591519
Date de publication :
12 oct. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse