@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}}
  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.