@PHDTHESIS{ferná2018,
url = "http://www.theses.fr/2018REN1S020",
title = "Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques",
author = "Fernández de Retana, Yon",
year = "2018",
note = "Thèse de doctorat dirigée par Pichardie, David et Demange, Delphine Informatique Rennes 1 2018",
note = "2018REN1S020",
url = "http://www.theses.fr/2018REN1S020/document",
}