Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, on, Canada, January 15-16, 2024, Proceedings, Part I
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Rayna Dimitrova, Ori Lahav, Sebastian Wolff |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9783031505232 |
| Número de Cutter | D582v |