@PHDTHESIS{franc2021,
url = "http://www.theses.fr/2021ENSR0030",
title = "Verified Programming at the Intersection of Dependent Types and Static Analysis",
author = "Franceschino, Lucas",
year = "2021",
note = "Thèse de doctorat dirigée par Talpin, Jean-Pierre et Pichardie, David Informatique Rennes, École normale supérieure 2021",
note = "2021ENSR0030",
url = "http://www.theses.fr/2021ENSR0030/document",
}