Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Edición de la obra Model Checking Software
| Autor | Dragan Bosnacki, Stefan Leue |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540460176 |
| Número de Cutter | B743m |