Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
Edición de la obra Software Verification
| Autor | Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783030955601 |
| Número de Cutter | B652s |