×
  • Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

    Bernard Boigelot

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