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