Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings
Author(s)
Bibliographic Information
Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings
(Lecture notes in computer science, 10426-10427 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)
Springer, c2017
- pt. 1
- pt. 2
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and indexes