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


Juin 2015 - Mai 2019

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : BENZAKEN Véronique

Gestionnaire : 
Organisme gérant : 

ORACLE AMERICA INC



Activités de recherche

Membres LRI



Contrats
° SOPRANO
SOPRANO
ANR

° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP

° DATACERT
DATACERT
ANR