Model Checking Software
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Edición de la obra Model Checking Software
| Autor | Susanne Graf, Laurent Mounier |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| ISBN-13 | 9783540247326 |
| Número de Cutter | G736m |