Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Edición de la obra Computer Aided Verification
| Autor | Constantin Enea, Akash Lal |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031377051 |
| Número de Cutter | E56c |