Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings
Author(s)
Bibliographic Information
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings
(Lecture notes in computer science, 9206-9207 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)
Springer, c2015
- pt. 1
- pt. 2
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and author index