Research
LMF - the new IT laboratory on campus!
… méthodes formelles” (Formal methods laboratory) (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS), which has … other fields. The “Laboratoire méthodes formelles” (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) was created … ” (Computer Science Research Laboratory) (LRI - Université Paris-Saclay, CNRS). Two secondary supervisors - …Published on: Fri 26/02/2021 - 10:44