Conseils utiles à la personne qui appose le bandeau
Le Laboratoire Méthodes Formelles est un laboratoire localisé à Gif-sur-Yvette sur le plateau de Saclay. C'est une unité mixte de recherche UMR et son numéro est UMR 9021. Ce laboratoire a été créé le 1er janvier 2021 et regroupe des chercheurs de l'ancien Laboratoire spécification et vérification (qui était localisé à l'époque à l'ENS Cachan) et de l’équipe Vals du Laboratoire de recherche en informatique (LRI).
Lien externe
Site du laboratoire : https://lmf.cnrs.fr/