Results

Book cover

Verification, Model Checking, and Abstract Interpretation

Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

© 2002

Soft cover - Print (ISBN: 978-3-540-43631-7)

Electronic (ISBN: 978-3-540-47813-3)

View this book on SpringerLink

Download Product Archive File - 978-3-540-47813-3 Download product archive files for 978-3-540-47813-3