Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe. Theorem Proving Using Lazy Proof Explication. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 355-367, Springer, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.