Research
LMF - the new IT laboratory on campus!
… new IT laboratory on campus! Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université … of analysis with other fields. The “Laboratoire méthodes formelles” (LMF - Université Paris-Saclay, ENS … CNRS) with the VALS team (Vérification d'algorithmes, de langages et de systèmes - Verification of Algorithms, …Published on: Fri 26/02/2021 - 10:44