Satisfiability Modulo Theories (SMT)

Decision Procedures: An Algorithmic Point of View (2nd ed.)

2016 · ENG · PDF

View details →