Showing 1 - 1 results of 1 for search '483434 Kroening, Daniel', query time: 0.02s Refine Results
  1. 1
    Decision procedures : an algorithmic point of view /

    Decision procedures : an algorithmic point of view / by 483434 Kroening, Daniel, Strichman, Ofer

    Published c200

Search Tools: