Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings

Author(s)

Bibliographic Information

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings

Ahmed Bouajjani, Oded Maler (eds.)

(Lecture notes in computer science, 5643)

Springer, c2009

Available at  / 4 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top