Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... 9583 (Lecture Notes in Computer Science)

by Barbara Jobstmann (Editor), K. Rustan M. Leino (Editor)

• New

  Paperback
  2015

  $76.36

  This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.