Spar
Verification, Model Checking, and Abstract Interpretation
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.
- Undertittel
- 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
- Redaktør
- Fritz Henglein, Sharon Shoham, Yakir Vizel
- Opplag
- 1st ed. 2021
- ISBN
- 9783030670665
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 12.1.2021
- Antall sider
- 604
