Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Edición de la obra Verified Software. Theories, Tools and Experiments
| Autor | Andrew Reynolds, Serdar Tasiran |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031660634 |
| Número de Cutter | R462v |