A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover
K. Rustan M. Leino, Madanlal Musuvathi, and Xinmin Ou
April 2005
 PDF file |
In in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software
Publisher Springer Verlag
All copyrights reserved by Springer 2007.
Details
| Type | Proceedings |
Related People
Share
