2022-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2022-phd.cite -ob 2022-phd.bib -c 'year = 2022 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{garchery22phd,
topics = {team},
title = {Certification de la transformation de t{\^a}ches de preuve},
author = {Garchery, Quentin},
hal = {https://theses.hal.science/tel-03560564},
number = {2022UPASG006},
school = {Universit{\'e} Paris-Saclay},
year = 2022,
type = {Th{\`e}se de Doctorat}
}