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

ANR
Oct. 2014 - Mars 2019

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

Gestionnaire : 
Organisme gérant : Université Paris XI

SOPRANO



Activités de recherche

Membres LRI
MELQUIOND Guillaume



Contrats
° ORACLE AMERICA INC
ORACLE AMERICA INC

° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP

° DATACERT
DATACERT
ANR