Maître de Conférences à l’université de Provence. Chercheuse au LIF. Membre de l’équipe MoVe.
Modélisation et Vérification de système logiciels.
Laboratoire d’Informatique Fondamentale CMI, 39, av Joliot-Curie F-13453 Marseille cedex 13, France
Bureau :
Tél : +33 (0)4 13 55 13 03
Fax : +33 (0)4 13 55 13 02
Courriel : severine.fratani[@]lif.univ-mrs.fr
Page web : http://www.lif.univ-mrs.fr/~sfratani
Direction :
Jean-Marc Talbot -
Secrétariat de direction/Responsable administrative :
Martine Quessada
Tel. 04 13 55 13 00 -
Fax : 04 13 55 13 02 -
Courriel :
direction[at]lif.univ-mrs.fr