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 de … le Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS). Il est issu de la réunion …Article publié le: