2004-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2004-report.cite -ob 2004-report.bib -c 'year = 2004 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@manual{CoqManualV8,
  author = {{The {Coq} Development Team}},
  title = {{The Coq Proof Assistant Reference Manual -- Version V8.0}},
  year = 2004,
  month = apr,
  url = {http://coq.inria.fr},
  note = {\url{http://coq.inria.fr}},
  topics = {team,lri},
  type_publi = {manuel}
}

@manual{CoqTutorialV8,
  author = {G. Huet and G. Kahn and Ch. Paulin-Mohring},
  title = {The {\sf Coq} Proof Assistant - A tutorial - Version 8.0},
  month = apr,
  year = 2004,
  url = {http://coq.inria.fr},
  topics = {team,lri},
  type_publi = {manuel}
}

@techreport{contejean04rr,
  author = {\'Evelyne Contejean and Claude March{\'e} and Ana-Paula Tom{\'a}s and Xavier Urbain},
  title = {Mechanically proving termination using polynomial interpretations},
  institution = {LRI},
  year = {2004},
  type = {Research Report},
  number = {1382},
  type_publi = {interne},
  topics = {team},
  url = {http://www.lri.fr/~urbain/textes/rr1382.ps.gz}
}

@mastersthesis{hubert04dea,
  author = {Thierry Hubert},
  title = {{Certification des preuves de terminaison en Coq}},
  type = {Rapport de {DEA}},
  year = 2004,
  month = sep,
  school = {Universit{\'e} Paris 7},
  topics = {team, lri},
  note = {\url{http://www.lri.fr/~marche/hubert04rr.ps}},
  url = {http://www.lri.fr/~marche/hubert04rr.ps}
}

@techreport{chaudhary04demoney,
  author = {Vikrant Chaudhary},
  title = {The {Krakatoa} tool for certification of {Java/JavaCard} programs annotated in {JML} : A Case Study},
  institution = {IIT internship report},
  topics = {team,lri},
  year = 2004,
  month = jul
}