Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Thomas Ball, Robert B. Jones ((Lecture Notes in Computer Science))