Jerome LEROUX
Full-time researcher at CNRS,

Laboratoire Bordelais de Recherche en Informatique (LaBRI)
Equipe Méthodes Formelles (MF)
Domaine Universitaire
351 cours de la liberation
33405 Talence Cedex
FRANCE

Phone :+33 54000 3509
Fax :+33 54000 6669
E-Mail : jerome DOT leroux AT labri DOT fr
Office : 264
Jérôme LEROUX

Research Interests


Invited Talks / Program Committees


Seminar


Tools


Publications