×
  • Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

    David L. Dill (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read