2003-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2003-report.cite -ob 2003-report.bib -c 'year = 2003 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{CoqManual03,
  author = {{Coq} development team},
  title = {{The Coq Proof Assistant Reference Manual -- Version V7.4}},
  year = 2003,
  month = feb,
  type_publi = {manuel},
  topics = {team},
  note = {\url{http://coq.inria.fr/doc/main.html}},
  abstract = {http://coq.inria.fr/doc/main.html}
}

@techreport{catano03deliv,
  author = {N\'estor Cata{\~n}o and Marek Gawkowski and
Marieke Huisman and Bart Jacobs and Claude March{\'e} and Christine Paulin
and Erik Poll and Nicole Rauch and Xavier Urbain},
  title = {Logical Techniques for Applet Verification},
  institution = {IST VerifiCard Project},
  year = 2003,
  type = {Deliverable},
  number = {5.2},
  note = {\url{http://www.cs.kun.nl/VerifiCard/files/deliverables/deliverable_5_2.pdf}},
  url = {http://www.cs.kun.nl/VerifiCard/files/deliverables/deliverable_5_2.pdf},
  topics = {team}
}

@techreport{corbineau03,
  author = {Pierre Corbineau},
  title = {First-order reasoning in the {Calculus of Inductive Constructions}},
  institution = {LRI},
  year = 2003,
  type = {Research Report},
  number = 1380,
  month = dec,
  topics = {team},
  type_publi = {interne}
}

@techreport{Filliatre03,
  author = {Jean-Christophe Filli\^atre},
  title = {{Why: a multi-language multi-prover verification tool}},
  institution = {{LRI, Universit\'e Paris Sud}},
  type = {{Research Report}},
  number = {1366},
  note = {\url{https://usr.lmf.cnrs.fr/~jcf/publis/why-tool.ps.gz}},
  month = mar,
  year = 2003,
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/why-tool.ps.gz},
  topics = {team, lri},
  type_publi = {interne}
}

@techreport{verificard52,
  author = {N{\'e}stor {Cata{\~n}o} and M. Gawlowski and Marieke Huisman and Bart Jacobs and Claude March\'e and Christine Paulin and Erik Poll and Nicole Rauch and Xavier Urbain},
  title = {Logical Techniques for Applet Verification},
  institution = {IST VerifiCard project},
  year = 2003,
  type = {Deliverable},
  number = {5.2},
  topics = {team},
  type_publi = {rapport}
}