Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers: 9971 (Lecture Notes in Computer Science)

by Marsha Chechik (Editor), Marsha Chechik (Editor), Sandrine Blazy (Editor)

• New

  Paperback
  2016

  $52.70

  This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.