Research
LMF - the new IT laboratory on campus!
… the “ Laboratoire de recherche en informatique ” (Computer Science Research Laboratory) (LRI - Université Paris-Saclay, … The formal methods field of research In computer science, formal methods are techniques which make it … particularly with regard to copyright protection, data confidentiality and privacy. The laboratory also draws …Published on: