Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
E-book
Electronic resources
Record details
- ISBN: 9783540705451
-
Physical Description:
electronic
electronic resource
access
remote
online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.