Extra Materials Archive

Book cover

Computer Aided Verification

13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

© 2001

Soft cover - Print (ISBN: 978-3-540-42345-4)

Electronic (ISBN: 978-3-540-44585-2)

View this book on SpringerLink