Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018. Proceedings
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Shuvendu K. Lahiri, Chao Wang |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2018 |
| Idioma | inglés |
| ISBN-13 | 9783030010898 |
| Número de Cutter | L183a |