Computer Aided Verification
Subtitle: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
ISBN-13: 9783642142956