Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Constantin Enea, Ruzica Piskac |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 11, 2019 |
| Páginas | 619 |
| Formato | paperback |
| ISBN-13 | 9783030112448 |
| ISBN-10 | 3030112446 |
| LCCN | 2018966547 |
| Número de Cutter | E56v |
pages cm