Verification, model checking, and abstract interpretation: 22nd international conference, vmcai 2021, copenhagen, denmark, january 17–19, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030670665
Date de publication :
12 janv. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.