Research
LMF - the new IT laboratory on campus!
… new IT laboratory on campus! Research The “Laboratoire méthodes formelles” (Formal methods laboratory) (LMF - Université … and Systems) at the “ Laboratoire de recherche en informatique ” (Computer Science Research Laboratory) (LRI - … of research In computer science, formal methods are techniques which make it possible to use rigorous reasoning on …Published on: Fri 26/02/2021 - 10:44