@PHDTHESIS{gaspa2014,
url = "http://www.theses.fr/2014NICE4127",
title = "Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants",
author = "Gaspar, Nuno",
year = "2014",
note = "Thèse de doctorat dirigée par Madelaine, Éric et Henrio, Ludovic Informatique Nice 2014",
note = "2014NICE4127",
url = "http://www.theses.fr/2014NICE4127/document",
}