A. Ireland, M. Jackson, and G. Reid. Interactive Proof Critics. Formal Aspects of Computing: The International Journal of Formal Methods, 11(3):302--325, 1999. A longer version is available from Dept. of Computing and Electrical Engineering, Heriot-Watt University, Research Memo RM/98/15. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Practical Perspective on the Verifying Compiler Proposal - Ireland Self-citation (Ireland) (Correct)
No context found.
A. Ireland, M. Jackson, and G. Reid. Interactive Proof Critics. Formal Aspects of Computing: The International Journal of Formal Methods, 11(3):302--325, 1999. A longer version is available from Dept. of Computing and Electrical Engineering, Heriot-Watt University, Research Memo RM/98/15.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC