@PHDTHESIS{messa2011,
url = "
		http://www.theses.fr/2011NANT2017",
title = "Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats",
author = "Messabihi, Mohamed El-Habib",
year = "2011",
pages = "1 vol. (173 f.)",
note = "Thèse de doctorat dirigée par Attiogbé, Christian et André, Pascal Informatique Nantes 2011",
note = "2011NANT2017",
}