Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Thomas Ball Robert B. Jones Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 4144 2006 3-540-37406-X CAV Lecture Notes in Computer Science Springer db/conf/cav/cav2006.html