Verified Software. Theories, Tools and Experiments
14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Edición de la obra Verified Software. Theories, Tools and Experiments
| Autor | Akash Lal, Stefano Tonetta |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031258022 |
| Número de Cutter | L193v |