Les tutelles du laboratoire

Le Laboratoire Méthodes Formelles est une unité mixte de recherche (UMR 9021) de l'Université Paris-Saclay, du CNRS et de l'ENS Paris-Saclay. Il a également deux tutelles secondaires, CentraleSupélec et Inria.