| |
| 2007 | ||
|---|---|---|
| 2 | EE | Yeting Ge, Clark Barrett, Cesare Tinelli: Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. CADE 2007: 167-182 |
| 2006 | ||
| 1 | EE | Sean McLaughlin, Clark Barrett, Yeting Ge: Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. Electr. Notes Theor. Comput. Sci. 144(2): 43-51 (2006) |
| 1 | Clark Barrett | [1] [2] |
| 2 | Sean McLaughlin | [1] |
| 3 | Cesare Tinelli | [2] |