Results
Verification, Model Checking, and Abstract Interpretation
5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
© 2004
Soft cover - Print (ISBN: 978-3-540-20803-7)
Electronic (ISBN: 978-3-540-24622-0)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-24622-0