Cover Image

Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: CAV (Conference) Trento, Italy)
Other Authors: Halbwachs, Nicolas, Peled, Doron A., 1962-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; London : Springer, [1999]
Series:Lecture notes in computer science. 1633.
Subjects:
Computer software > Verification > Congresses.
Integrated circuits > Verification > Congresses.
Description
Physical Description:xii, 506 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540662022
ISSN:0302-9743 ;