Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Kousha Etessami Sriram K. Rajamani Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 3576 3-540-27231-3 2005 CAV Lecture Notes in Computer Science Springer db/conf/cav/cav2005.html