@PHDTHESIS{casse2002,
url = "
		http://www.theses.fr/2002AIX22049",
title = "Construction correcte de logiciels pour carte à puce : Développement formel d'un vérifieur embarqué de byte code Java Card à l'aide de la méthode B",
author = "Casset, Ludovic",
year = "2002",
pages = "223 p.",
note = "Thèse de doctorat dirigée par Muntean, Traian Informatique Aix-Marseille 2 2002",
note = "2002AIX22049",
}