Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
PARDI

ANR
Janv. 2017 - Déc. 2020

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : CONCHON Sylvain

Gestionnaire : 
Organisme gérant : Université Paris XI

PARDI



Activités de recherche

Membres LRI



Contrats
° DATACERT
DATACERT
ANR