Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings: 9232 (Lecture Notes in Computer Science)

by Bernd Fischer (Editor), Bernd Fischer (Editor), Jaco Geldenhuys (Editor)

• New

  Paperback
  2015

  $58.79

  This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions.