Showing 1 - 3 results of 3 for search '', query time: 0.02s Refine Results
  1. 1

    Verification, model checking and abstract interpretation : proceedings /

    Published 2009
    Conference Proceeding Book
  2. 2

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

    Published 2010
    Book
  3. 3