2020-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2020-phd.cite -ob 2020-phd.bib -c 'year = 2020 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@phdthesis{rieuhelft20phd,
  topics = {team},
  title = {Development and verification of arbitrary-precision integer arithmetic libraries},
  author = {Rieu-Helft, Rapha{\"e}l},
  hal = {https://tel.archives-ouvertes.fr/tel-03032942},
  school = {Universit{\'e} Paris-Saclay},
  year = 2020,
  keywords = {Static analysis ; Arbitrary-precision integer arithmetic ; Deductive verification of programs ; Proof by reflection ; Why3 ; V{\'e}rification d{\'e}ductive de programmes ; Arithm{\'e}tique enti{\`e}re en pr{\'e}cision arbitraire ; Analyse statique ; Preuve par r{\'e}flexion ; Why3},
  type = {Th{\`e}se de Doctorat}
}