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
}