Model Checking Software electronic resource : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker
- Författare
- England) 2012 : (19th International SPIN Workshop Oxford
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |