ISBN 9783540662020 books & textbook
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633)
Halbwachs, Nicolas Peled, Doron
Springer /1999-06-23 Paperback / 520 Pages
isbn-10: 3540662022 / isbn-13: 9783540662020
