charles.bib

@INPROCEEDINGS{BBCGHLPR07:FMCO,
  author = {G. Barthe and L. Burdy and J. Charles and B. Gr{\'e}goire and M. Huisman and J.-L. Lanet and M. Pavlova and A. Requet},
  title = {{JACK}:  a tool for validation of security and behaviour of {Java} applications},
  booktitle = {FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  year = {2007},
  note = {To appear},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fmco06.pdf},
  topics = {team}
}

@INPROCEEDINGS{Charles:ftfjp06,
  author = {J. Charles},
  title = {Adding Native Specifications to {JML}},
  booktitle = {Proceedings of the ECOOP workshop on Formal Techniques for {Java}-like Programs (FTfJP'2006)},
  psurl = {http://www-sop.inria.fr/everest/personnel/Julien.Charles/papers/06-07-10-ftfjp06-paper.ps},
  year = 2006,
  topics = {team}
}

@MASTERSTHESIS{Cha05,
  author = {J. Charles},
  title = {V\'erification d'un composant {Java}: Le v\'erificateur de bytecode},
  school = {Universit\'e de Nice},
  year = {2005},
  psurl = {http://www-sop.inria.fr/everest/personnel/Julien.Charles/papers/05-06-17-rapport.ps},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Julien.Charles/papers/05-06-17-rapport.pdf},
  topics = {team}
}

This file has been generated by bibtex2html 1.87.