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