Jérôme LEROUX
DR 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 |
|
|
|