Research
LMF - the new IT laboratory on campus!
… Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université Paris-Saclay, ENS … to be continued with the Laboratoire interdisciplinaire des sciences du numérique – LISN, unité de recherche du CNRS et … to be continued with the Laboratoire interdisciplinaire des sciences du numérique – LISN, unité de recherche du CNRS et …Published on: