×
  • Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

    Patrice Godefroid (auth.)

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