Computer Aided Verification
Subtitle: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Publisher: Springer
Published: Jul 23, 2015
Format: paperback
Number of pages: 487
ISBN-13: 9783319216676
Notes: Source title: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science (9207))