ISBN 3319216899 books & textbook
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Theoretical Computer Science and General Issues)
Kroening, Daniel Păsăreanu, Corina S.
Springer /2015-07-27 Paperback / 700 Pages
isbn-10: 3319216899 / isbn-13: 9783319216898
