bibtex

@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},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3885782