Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… réunion de deux groupes de recherche, le Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) est aujourd’hui la référence … Il ambitionne de diffuser ses méthodes d’analyse à d’autres domaines. Le 1 er janvier 2020 est né le …Article publié le: