Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part I
Edición de la obra Computer Aided Verification
| Autor | Alexandra Silva, K. Rustan M. Leino |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| Páginas | 922 |
| ISBN-13 | 9783030816841 |
| Número de Cutter | S586c |