@PHDTHESIS{gonde2016,
url = "http://www.theses.fr/2016SACLS583",
title = "Un système de types pragmatique pour la vérification déductive des programmes",
author = "Gondelman, Léon",
year = "2016",
note = "Thèse de doctorat dirigée par Filliâtre, Jean-Christophe Informatique Université Paris-Saclay (ComUE) 2016",
note = "2016SACLS583",
url = "http://www.theses.fr/2016SACLS583/document",
}