Computer Aided Verification
Subtitle: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Publisher: Springer
Published: Jul 14, 2016
Format: paperback
Number of pages: 558
ISBN-13: 9783319415277
Notes: Source title: Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science (9779))