Laboratoire Méthodes Formelles

Aller à la navigation Aller à la recherche

Erreur Lua dans Module:Infobox/Localdata à la ligne 29 : attempt to index field 'wikibase' (a nil value).

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'école normale supérieure de Cachan) et de l’équipe Vals du Laboratoire de recherche en informatique (LRI).

Liens externes

  • Erreur Lua dans Module:Wikidata à la ligne 769 : attempt to index field 'wikibase' (a nil value).
  • Erreur Lua dans Module:Bases à la ligne 285 : attempt to index field 'wikibase' (a nil value).
  • Erreur Lua dans Module:Dictionnaires à la ligne 143 : attempt to index field 'wikibase' (a nil value).
  • Erreur Lua dans Module:Autorité à la ligne 561 : attempt to index field 'wikibase' (a nil value).

Erreur Lua dans Module:Suivi_des_biographies à la ligne 193 : attempt to index field 'wikibase' (a nil value).