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

ANR
Janv. 2016 - Janv. 2021

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : CONTEJEAN Evelyne

Gestionnaire : 
Organisme gérant : Université Paris XI

Datacert



Activités de recherche

Membres LRI



Contrats
° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP