Jean-christophe Filliâtre

Statut : Directeur de recherche
Laboratoire : LMF
Site web : https://www.lri.fr/~filliatr/index.fr.html

GDRs

GDR GPL: membre de.s groupe.s de travail