Computer Aided Verification electronic resource : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings / edited by Aarti Gupta, Sharad Malik
- Författare
- N.J.) 2008 : (20th CAV Princeton
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |