Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007: Proceedings - CAV (Conference) 2007 : Berlin, Germany); Damm, Werner; Hermanns, Holger; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer software -- Verification -- Congresses; Integrated circuits -- Verification -- Congresses