Computer Aided Verification
Subtitle: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 469
ISBN-13: 9783319216683