Cover Image

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /

Bibliographic Details
Corporate Author: CAV (Conference) Paris)
Other Authors: Comon, Hubert, Berry, Gérard, 1948-, Finkel, A.
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Series:Lecture notes in computer science. 2102.
Subjects:
Computer software > Verification > Congresses.
Integrated circuits > Verification > Congresses.
Description
Physical Description:xiii, 520 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references.
ISBN:3540423451
ISSN:0302-9743 ;