×
  • Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

    Stefan Edelkamp

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