@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/YEAR_2004.cite -ob Publi/YEAR_2004.bib -c year=2004 -c !topic="NOCITE" Publi/bibdata.bib}}
@inproceedings{BertotGL04,
author = {Yves Bertot and
Benjamin Gr{\'e}goire and
Xavier Leroy},
title = {A Structured Approach to Proving Compiler Optimizations
Based on Dataflow Analysis},
booktitle = {Types for Proofs and Programs, International Workshop, TYPES
2004, Jouy-en-Josas, France, December 15-18, 2004, Revised
Selected Papers},
year = {2004},
pages = {66-81},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3839},
topic = {COMPILER}
}
This file was generated by bibtex2html 1.97.