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
}