YEAR_2007.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: bib2bib -oc Publi/YEAR_2007.cite -ob Publi/YEAR_2007.bib -c year=2007 Publi/bibdata.bib}}

@inproceedings{FMCO07,
  author = {Gilles Barthe and Pierre~Cr\'egut and Benjamin Gr\'egoire and Thomas Jensen and David Pichardie},
  title = {The MOBIUS Proof Carrying Code infrastructure},
  booktitle = {Formal Methods for Components and Objects, 6th International
               Symposium, FMCO 2007, Amsterdam, The Netherlands, 2007, Revised Lectures},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  year = {2007},
  topic = {PCC}
}

@inproceedings{GreSacchi07,
  author = {Benjamin Gr{\'e}goire and
               Jorge Luis Sacchini},
  title = {Combining a Verification Condition Generator for a Bytecode
               Language with Static Analyses},
  booktitle = {Trustworthy Global Computing, Third Symposium, TGC 2007,
               Sophia-Antipolis, France, November 5-6, 2007, Revised Selected
               Papers},
  year = {2007},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4912},
  pages = {23-40},
  topic = {PCC}
}

This file was generated by bibtex2html 1.96.