Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - CAV (Conference) 2006 : Seattle, Wash.); Ball, Thomas; Jones, Robert B.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer software -- Verification -- Congresses; Integrated circuits -- Verification -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logic Design; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering