×
  • Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

    Jasmin Fisher (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read