Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… le Laboratoire méthodes formelles (LMF - Université Paris-Saclay, ENS Paris-Saclay, CNRS) est aujourd’hui la référence … Toccata , enrichissent cette structuration par une vision agile liée au modèle d’EPC Inria, qui promeut le développement …Article publié le: ven 26/02/2021 - 10:44