Verification, model checking, and abstract interpretation - 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
- Författare
- NY) VMCAI 2003 (2003 : New York
- (Lenore D. Zuck ... et al..)
- Genre
- Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2003 | Tyskland, Berlin | 323 sidor. ill. | |