×
  • Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

    Edmund M. Clarke (auth.)

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