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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 C38 2001
 
Call Number Status Get It
QA76.76.V47 C38 2001 Available