×
  • Decision Procedures: An Algorithmic Point of View

    Daniel Kroening Ofer Strichman

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