Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… le Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) est aujourd’hui la référence en matière … est né le Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS). Il est issu de la …Article publié le: ven 26/02/2021 - 10:44