@PHDTHESIS{lissy2014,
url = "http://www.theses.fr/2014TOUR4019",
title = "Utilisation de méthodes formelles pour garantir des propriétés de logiciels au sein d'une distribution : exemple du noyau Linux.",
author = "Lissy, Alexandre",
year = "2014",
note = "Thèse de doctorat dirigée par Martineau, Patrick Informatique Tours 2014",
note = "2014TOUR4019",
url = "http://www.theses.fr/2014TOUR4019/document",
}