Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
Edición de la obra Computer Aided Verification
| Autor | Arie Gurfinkel, Vijay Ganesh |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031656293 |
| Número de Cutter | G979c |