Cover Image

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

Show other versions (1)

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also...

Full description

Bibliographic Details
Corporate Authors: CAV (Conference) Trento, Italy), SpringerLink (Online service)
Other Authors: Halbwachs, Nicolas, Peled, Doron A., 1962-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; London : Springer, [1999]
Series:Lecture notes in computer science ; 1633.
Subjects:
Computer software > Verification > Congresses.
Integrated circuits > Verification > Congresses.
Verificatie.
Software.
Computer software > Verification.
Integrated circuits > Verification.
Electronic books.
Congressen (vorm)
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Similar Items