Tallenna
Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
- Alaotsikko
- 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
- Toimittaja
- Dirk Beyer, Damien Zufferey
- Painos
- 2020 ed.
- ISBN
- 9783030393212
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 7.2.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 471
