ISBN 3540423451 books & textbook
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102)
Berry, Gerard Comon, Hubert Finkel, Alain
Springer /2001-07-04 Paperback / 535 Pages
isbn-10: 3540423451 / isbn-13: 9783540423454
