Lucas Franceschino. Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis). PhD thesis, École normale supérieure de Rennes, France, 2021. [doi]
@phdthesis{hal-17512,
title = {Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis)},
author = {Lucas Franceschino},
year = {2021},
url = {https://tel.archives-ouvertes.fr/tel-03617659},
researchr = {https://researchr.org/publication/hal-17512},
cites = {0},
citedby = {0},
school = {École normale supérieure de Rennes, France},
}