Software
| CentraleSupélec | LMF, UMR CNRS 9021 |
| Département informatique | Laboratoire Méthodes Formelles |
| 3 rue Joliot-Curie | Bât 650 Ada Lovelace, Université Paris Sud |
| 91190 Gif-sur-Yvette, France | Rue Noetzlin, 91190 Gif-sur-Yvette, France |
| Téléphone : +33 [0]1 75 31 78 32 | |
| frederic.boulanger@centralesupelec.fr | frederic.boulanger@lmf.cnrs.fr |