← Tous les laboratoires

Laboratoire Méthodes Formelles

LMF · Unité mixte · GIF-SUR-YVETTE · Île-de-France

Tutelles : Ecole normale supérieure Paris-Saclay, Centre national de la recherche scientifique, Université Paris-Saclay

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 2 556 publications sur HAL open science →

Publications récentes (HAL)

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)