2021-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2021-phd.cite -ob 2021-phd.bib -c 'year = 2021 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{galloiswong21phd,
  topics = {team},
  title = {Formalisation en {Coq} des algorithmes de filtre num{\'e}rique calcul{\'e}s en pr{\'e}cision finie},
  author = {Gallois-Wong, Diane},
  hal = {https://tel.archives-ouvertes.fr/tel-03202580},
  number = {2021UPASG016},
  school = {Universit{\'e} Paris-Saclay},
  year = 2021,
  type = {Th{\`e}se de Doctorat}
}