Computer Aided Verification
Subtitle: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Publisher: Springer London, Limited
Published: 2011
Language: eng
Number of pages: 462
ISBN-13: 9783540450696