Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Edición de la obra Model Checking Software
| Autor | Thomas Neele, Anton Wijs |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| Páginas | 260 |
| ISBN-13 | 9783031661488 |
| Número de Cutter | N379m |