×
  • Computer-Aided Reasoning: ACL2 Case Studies

    Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)

Click on cover to enlarge.
7 - 8Hours to read