×
  • Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

    F. Erich Marschner (auth.)

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