×
  • Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

    Randal E. Bryant (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read