Model Checking Software electronic resource : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings / edited by Matthew Dwyer
- Författare
- Ont.) 2001 : (8th International SPIN Workshop Toronto
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |