Burdy L, Requet A, Lanet J-L (2003) Java applet correctness: a developer-oriented approach. In: Mandrioli D, Araki K, Gnesi S (ed) FME 2003. Lecture notes in computer science, vol 2805. Springer, Berlin Heidelberg New York, pp 422--439 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) Self-citation (Burdy) (Correct)
No context found.
Burdy L, Requet A, Lanet J-L (2003) Java applet correctness: a developer-oriented approach. In: Mandrioli D, Araki K, Gnesi S (ed) FME 2003. Lecture notes in computer science, vol 2805. Springer, Berlin Heidelberg New York, pp 422--439
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) Self-citation (Burdy Lanet) (Correct)
No context found.
L. Burdy, A. Requet, and J.-L. Lanet. Java Applet Correctness: a DeveloperOriented Approach. In Formal Methods (FME'03), number 2805 in LNCS, pages 422--439. Springer, 2003.
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, Burdy.. (2004) (2 citations) Self-citation (Burdy Lanet) (Correct)
No context found.
L. Burdy, A. Requet, and J.-L. Lanet. Java Applet Correctness: a DeveloperOriented Approach. In Formal Methods (FME'03), number 2805 in LNCS, pages 422--439. Springer, 2003.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) Self-citation (Burdy) (Correct)
No context found.
Lilian Burdy, Antoine Requet, and Jean-Louis Lanet. Java applet correctness: A developer-oriented approach. In D. Mandrioli K. Araki, S. Gnesi, editor, FME 2003, volume 2805 of LNCS, pages 422--439. Springer-Verlag, 2003.
Enforcing High-Level Security Properties for Applets - Pavlova, Barthe, al. (2003) (2 citations) Self-citation (Burdy Lanet) (Correct)
No context found.
L. Burdy, A. Requet, and J.-L. Lanet. Java Applet Correctness: a Developer-Oriented Approach. In Formal Methods (FME'03), number 2805 in LNCS, pages 422439. Springer, 2003.
Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (8 citations) (Correct)
No context found.
N. Burdy, A. Requet, and J.-L. Lanet. Java applet correctness: A developeroriented approach. In Formal Methods Europe (FME), LNCS. Springer Verlag, 2003.
Formal Methods for Smart Cards: an experience report - Breunesse, Catano, Huisman, .. (2003) (2 citations) (Correct)
No context found.
L. Burdy, A. Requet, and J.-L. Lanet. Java Applet Correctness: a DeveloperOriented Approach. In Formal Methods (FM'03), LNCS. Springer, 2003. To appear.
Java Program Verification at Nijmegen: Developments and.. - Jacobs, Poll (2003) (8 citations) (Correct)
No context found.
N. Burdy, A. Requet, and J.-L. Lanet. Java applet correctness: A developeroriented approach. In Formal Methods Europe (FME), LNCS. Springer Verlag, 2003.
Formal Methods for Smart Cards: An Experience Report - Breunesse, Cataño.. (2004) (2 citations) (Correct)
No context found.
L. Burdy, A. Requet, and J.-L. Lanet. Java Applet Correctness: a DeveloperOriented Approach. In Formal Methods (FME'03), number 2805 in LNCS, pages 422--439. Springer, 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