Gurvan Cabon. Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée). PhD thesis, University of Rennes 1, France, 2018. [doi]
@phdthesis{hal-11639,
title = {Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée)},
author = {Gurvan Cabon},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-01978292},
researchr = {https://researchr.org/publication/hal-11639},
cites = {0},
citedby = {0},
school = {University of Rennes 1, France},
}