×
  • Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

    Nicolas Halbwachs (auth.)

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