×
  • Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

    Matthew B. Dwyer

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