Computer Aided Verification
Subtitle: 28th International Conference, Cav 2016, Toronto, on, Canada, July 17-23, 2016, Proceedings, Part II
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 521
ISBN-13: 9783319415390
Subjects: Computer programs