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
Accueil
Enseignement
Publications
Recherche
Logiciel
MicroPython
Python
BDCarto.py