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

Daniel Kroening, Corina S. Păsăreanu (eds.)

(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

Search this Book/Journal

Note

Includes bibliographical references and author index

Related Books: 1-1 of 1

Details

Page Top