Marie-Laure Potet Biographie Titulaire d'un doctorat d'université en informatique (Institut national polytechnique de Grenoble, 1988). Contributions de Marie-Laure Potet Autres contributions Spécification formelle avec B Henri Habrias Hermès science publications