Cover Image

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /

Bibliographic Details
Corporate Author: CAV 2000. Chicago, Ill (Conference)
Other Authors: Emerson, E. Allen, Sistla, Aravinda Prasad
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:Lecture notes in computer science. 1855.
Subjects:
Computer software > Verification > Congresses.
Integrated circuits > Verification > Congresses.
Description
Physical Description:x, 582 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540677704
ISSN:0302-9743 ;