S. Ranise and D. Deharbe. Light-weight theorem proving for debugging and verifying units of code. In Proc. SEFM'03, Canberra, Australia, Sept. 2003. IEEE Computer Society Press. http://www.loria.fr/equipes/cassis/softwares/haRVey/. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automated Provers doing (Higher-Order) Proof search: A Case.. - Mehta, Ranise (2004) Self-citation (Ranise) (Correct)
No context found.
D. Deharbe and S. Ranise. Light-Weight Theorem Proving for Debugging and Verifying Units of Code. In Proc. of the International Conference on Software Engineering and Formal Methods (SEFM03), Brisbane, Australia, September 2003. IEEE Computer Society Press.
Multi-Prover Veri - Cation Of Programs (Correct)
No context found.
S. Ranise and D. Deharbe. Light-weight theorem proving for debugging and verifying units of code. In Proc. SEFM'03, Canberra, Australia, Sept. 2003. IEEE Computer Society Press. http://www.loria.fr/equipes/cassis/softwares/haRVey/.
ArgoLib Version 1.00 - Maric, Janicic (2003) (Correct)
No context found.
S. Ranise and D. Deharbe. Light-weight theorem proving for debugging and verifying units of code. SEFM-03). IEEE Computer Society Press, 2003.
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