@phdthesis{Bou1,
title = { {Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)} },
author = {Boulm\'e, Sylvain},
month = {Sep},
year = {2021},
type = {Habilitation Thesis},
school = {{Universit{\'e} Grenoble Alpes}},
team = {axe_FormalProofs, PACSS},
pdf = {https://hal.archives-ouvertes.fr/tel-03356701/file/boulme_hdr.pdf},
hal_id = {tel-03356701},
}
