ISBN 3642397980 books & textbook
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science, 8044)
Sharygina, Natasha Veith, Helmut
Springer /2013-07-14 Paperback / 1037 Pages
isbn-10: 3642397980 / isbn-13: 9783642397981
