Model Checking Software
23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Edición de la obra Model Checking Software
| Autor | Dragan Bosnački, Anton Wijs |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 245 |
| ISBN-13 | 9783319325828 |
| Número de Cutter | B743m |