Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Edición de la obra Computer Aided Verification
| Autor | Hana Chockler |
|---|---|
| Editorial | Springer Nature |
| Fecha de publicación | 2018 |
| Páginas | 703 |
| ISBN-13 | 9783319961453 |
| Número de Cutter | C545c |