×
  • Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

    David Wagner (auth.)

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