2019-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2019-report.cite -ob 2019-report.bib -c 'year = 2019 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{CoqManualV89,
  author = {The {Coq} Development Team},
  title = {The {Coq} Proof Assistant Reference Manual -- Version V8.9},
  year = 2019,
  note = {\url{http://coq.inria.fr}},
  url = {http://coq.inria.fr},
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL EXT},
  x-type = {manuel},
  x-support = {diffusion}
}

@techreport{jeannerod19tr,
  topics = {team},
  title = {Specification of {UNIX} Utilities},
  author = {Jeannerod, Nicolas and R{\'e}gis-Gianas, Yann and March{\'e}, Claude and Sighireanu, Mihaela and Treinen, Ralf},
  hal = {https://hal.inria.fr/hal-02321691},
  type = {Technical Report},
  institution = {HAL Archives Ouvertes},
  year = 2019,
  month = oct
}

@techreport{becker19tr,
  topics = {team},
  title = {Revision 2 of {CoLiS} language: formal syntax, semantics, concrete and symbolic interpreters},
  author = {Becker, Benedikt and March{\'e}, Claude and Jeannerod, Nicolas and Treinen, Ralf},
  hal = {https://hal.inria.fr/hal-02321743},
  type = {Technical Report},
  institution = {HAL Archives Ouvertes},
  year = 2019,
  month = oct
}

@techreport{huisman19rr,
  topics = {team},
  title = {VerifyThis 2018: A Program Verification Competition},
  author = {Huisman, Marieke and Monahan, Rosemary and M{\"u}ller, Peter and Paskevich, Andrei and Ernst, Gidon},
  hal = {https://hal.inria.fr/hal-01981937},
  type = {Research Report},
  institution = {Universit{\'e} Paris-Saclay},
  year = 2019,
  month = jan
}

@techreport{andres19rr,
  topics = {team},
  title = {V\'erification par preuve formelle de propri\'et\'es fonctionnelles d'algorithme de classification},
  author = {Andr\`es, L\'eo},
  hal = {https://hal.inria.fr/hal-02421484},
  type = {Rapport de stage de {M1}},
  institution = {Universit\'e Paris Sud},
  year = 2019,
  month = aug
}