Verified software, theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings / Natarajan Shankar, Jim Woodcock (editors)
- Författare
- Ont.) (2008 VSTTE 2008 Toronto
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |