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 … ENS Paris-Saclay, CNRS). Il est issu de la réunion du Laboratoire spécification et vérification (LSV - ENS … avec la création du Laboratoire interdisciplinaire des sciences du numérique – LISN, unité de recherche du CNRS et …
Published on: