×
  • Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

    Rajeev Alur

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