Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

por CAV (Conference) (18th : 2006 : Seattle, Wash.), Ball, Thomas, Jones, Robert B.