Publications - Julien Charles
BibTeX Format ]
[BBC+ 07 ]
G. Barthe , L. Burdy , J. Charles , B. Grégoire , M. Huisman , J.-L. Lanet ,
M. Pavlova , and A. Requet.
JACK: a tool for validation of security and behaviour of Java
applications.
In FMCO: Proceedings of 5th International Symposium on Formal
Methods for Components and Objects , Lecture Notes in Computer Science .
Springer-Verlag , 2007.
To appear.
[ bib |
.pdf ]
[Cha06 ]
J. Charles .
Adding native specifications to JML.
In Proceedings of the ECOOP workshop on Formal Techniques for
Java-like Programs (FTfJP'2006) , 2006.
[ bib |
.ps ]
[Cha05 ]
J. Charles .
Vérification d'un composant Java: Le vérificateur de bytecode.
Master's thesis, Université de Nice, 2005.
[ bib |
.pdf |
.ps ]
This file has been generated by
bibtex2html 1.87.
on Tue, 02 Sep 2008 00:00:08 +0200