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