Model Checking Software
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Edición de la obra Model Checking Software
| Autor | Owolabi Legunsen, Grigore Rosu |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783031150760 |
| Número de Cutter | L521m |