Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Format: paperback
ISBN:
9783540374060 (354037406X)
Publish date: September 1st 2006
Publisher: Springer
Pages no: 564
Edition language: English