Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /

Includes bibliographical references and index.

Bibliographic Details
Main Authors: CAV Conference (19th : 2007 : Berlin, Germany), Damm, Werner, Hermanns, Holger
Format:
Published: New York : Springer, 2007
Subjects:
Computer software
Integrated circuits
Online Access:http://dx.doi.org/10.1007/978-3-540-73368-3
Description
Summary:Includes bibliographical references and index.

Similar Items