TY  - THES
DP  - http://www.theses.fr/2021ENSR0030
TI  - Verified Programming at the Intersection of Dependent Types and Static Analysis
AU  - Franceschino, Lucas
A3  - Talpin, Jean-Pierre; Pichardie, David
PY  - 2021
N1  - Thèse de doctorat Informatique Rennes, École normale supérieure 2021
N1  - 2021ENSR0030
UR  - http://www.theses.fr/2021ENSR0030/document
ER  -