A framework for cooperating decision procedures
Clark W. Barrett, David L. Dill, Aaron Stump[doi] [Google Scholar] [DBLP] [Citeseer]
International Conference on Automated Deduction
Springer
Pages 79-98
2000
Topic(s): verification
Note(s): SMT solver
Springer
Pages 79-98
2000
Topic(s): verification
Note(s): SMT solver