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

Rupak Majumdar, Viktor Kunčak (eds.)

(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

Search this Book/Journal

Note

Includes bibliographical references and indexes

Related Books: 1-1 of 1

Details

Page Top