P. Amey and R. Chapman. Industrial strength exception freedom. In Proceedings of ACM SigAda. 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automation for Exception Freedom Proofs - Bill Ellis And (2003) (Correct)
No context found.
P. Amey and R. Chapman. Industrial strength exception freedom. In Proceedings of ACM SigAda. 2002.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
R. Chapman and P. Amey. Industrial strength exception freedom. In Proceedings of ACM SigAda. 2002. 4
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Amey P, Chapman R (2002) Industrial strength exception freedom. In: ACM SigAda 2002, pp 1--9
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Peter Amey and Roderick Chapman. Industrial strength exception freedom. In ACM SigAda 2002, pages 1--9. ACM, 2002.
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