Computer aided verification
Subtitle: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
By: Gérard Berry, Hubert Comon, Alain Finkel (eds.).
Contributors: Comon, Hubert.; Berry, Gérard, 1948-; Finkel, A.
Series: Lecture notes in computer science -- 2102.
Publisher: Springer
Published: 2001
Place of publication: Berlin
Number of pages: 520
Subjects: Computer software -- Verification -- Congresses.; Integrated circuits -- Verification -- Congresses.
Genres: Congresses.
Other titles: CAV 2001.
Notes: Includes bibliographical references.

Also available via the World Wide Web.