Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Bibliographic Information

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Ed Brinksma, Kim Guldstrand Larsen (eds.)

(Lecture notes in computer science, 2404)

Springer, c2002

Other Title

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 2002 : proceedings

Available at  / 31 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top