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

Contrat europeen
Oct. 2012 - Mars 2016

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : WOLFF Burkhart

Gestionnaire : 
Organisme gérant : Université Paris XI
Contrats
° SOPRANO
SOPRANO
ANR

° ORACLE AMERICA INC
ORACLE AMERICA INC

° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP