Recherche
Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… ENS Paris-Saclay, CNRS). Il est issu de la réunion du Laboratoire spécification et vérification (LSV - ENS … CNRS) et de l’équipe VALS (Vérification d'algorithmes, de langages et de systèmes) du Laboratoire de recherche en … avec la création du Laboratoire interdisciplinaire des sciences du numérique – LISN, unité de recherche du CNRS et …Article publié le: