Verification, model checking, and abstract interpretation: 21st international conference, vmcai 2020, new orleans, la, usa, january 16–21, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030393212
Date de publication :
7 févr. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.