2020-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2020-report.cite -ob 2020-report.bib -c 'year = 2020 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{baudin20acsl,
  title = {ACSL: ANSI/ISO C Specification Language, version 1.16},
  author = {Patrick Baudin and Pascal Cuoq and Jean-Christophe Filli\^atre and Claude March\'e and Benjamin Monate and Yannick Moy and Virgile Prevosto},
  year = 2020,
  url = {https://frama-c.com/html/acsl.html},
  topics = {team}
}

@techreport{becker20rr,
  topics = {team},
  title = {Rapport d'avancement sur la v{\'e}rification formelle des algorithmes de {ParcourSup}},
  author = {Becker, Benedikt and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-02447409},
  type = {Technical Report},
  institution = {Universit{\'e} Paris-Saclay},
  year = 2020,
  month = jan
}

@techreport{denis20ir,
  topics = {team},
  title = {Deductive program verification for a language with a {Rust}-like typing discipline},
  author = {Denis, Xavier},
  hal = {https://hal.archives-ouvertes.fr/hal-02962804},
  type = {Internship report},
  institution = {Universit{\'e} de Paris},
  year = 2020,
  month = sep
}