Results
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