Computer Aided Verification
34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Edición de la obra Computer Aided Verification
| Autor | Sharon Shoham, Yakir Vizel |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783031131844 |
| Número de Cutter | S559c |