@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2007.cite -ob Publi/YEAR_2007.bib -c year=2007 -c !topic="NOCITE" 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.97.