Responsable d’équipe :
CentraleSupélec
Laboratoire MICS – Bâtiment Bouygues
3 rue Joliot Curie
Fr – 91192 Gif-sur-Yvette Cedex
Formal methods in computer science and knowledge modelling
Responsable d’équipe :
CentraleSupélec
Laboratoire MICS – Bâtiment Bouygues
3 rue Joliot Curie
Fr – 91192 Gif-sur-Yvette Cedex