Research
LMF - the new IT laboratory on campus!
… Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université Paris-Saclay, ENS … the “ Laboratoire de recherche en informatique ” (Computer Science Research Laboratory) (LRI - Université Paris-Saclay, … Inria model which promotes technological development and innovation. The formal methods field of research In computer …Published on: Fri 26/02/2021 - 10:44