Computer Aided Verification
Subtitle: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Publisher: Springer
Published: Jul 13, 2017
Format: paperback
Number of pages: 640
ISBN-13: 9783319633893
Notes: Source title: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science (10427))