×
  • Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

    Alessandro Cimatti (auth.)

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