Software Verification
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
Edición de la obra Software Verification
| Autor | Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030636173 |
| Número de Cutter | C554s |