Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 18-24, 2021, Proceedings, Part II
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 | 940 |
| ISBN-13 | 9783030816872 |
| Número de Cutter | S586c |