×
  • Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

    Thomas Ball

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read