ISBN 3540631666 books & textbook
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, 1254)
Springer /1997-06-04 Paperback / 504 Pages
isbn-10: 3540631666 / isbn-13: 9783540631668
