Title: Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
Authors: Damm, Werner.; Hermanns, Holger, 1967-
Publisher: Springer,
Year: 2007
Subjects: Computer software Verification Congresses; Integrated circuits Verification Congresses