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

ANR
Oct. 2015 - Sept. 2020

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : FILLIÂTRE Jean-Christophe

Gestionnaire : LAROCHE, Maïlys
Organisme gérant : Université Paris XI

VOCAL



Activités de recherche

Membres LRI



Contrats
° SOPRANO
SOPRANO
ANR

° ORACLE AMERICA INC
ORACLE AMERICA INC

° PARDI
PARDI
ANR

° LCHIP
LCHIP

° DATACERT
DATACERT
ANR