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