Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Dirk Beyer, Damien Zufferey |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Feb 07, 2020 |
| Páginas | 485 |
| Formato | paperback |
| ISBN-13 | 9783030393212 |
| ISBN-10 | 3030393216 |
| Número de Cutter | B573v |