Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Edición de la obra Automated Technology for Verification and Analysis
| Autor | Étienne André, Jun Sun |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031453281 |
| Número de Cutter | A555a |