Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Edición de la obra Model Checking Software
| Autor | Bernd Fischer, Jaco Geldenhuys |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| ISBN-13 | 9783319234045 |
| Número de Cutter | F529m |