
Verification, Model Checking, and Abstract Interpretation
- Undertittel
- 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
- Redaktør
- Dirk Beyer, Damien Zufferey
- Opplag
- 2020 ed.
- ISBN
- 9783030393212
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 7.2.2020
- Antall sider
- 471
