Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
LCHIP


Apr 2017 - Jun 2020

Group : Verification of Algorithms, Languages and Systems
Principal investigator : CONCHON Sylvain

Administrator : 
Affiliation : Université Paris XI

LCHIP



Research activities

Participants


Contracts & grants
° SOPRANO
SOPRANO
ANR

° ORACLE AMERICA INC
ORACLE AMERICA INC

° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° DATACERT
DATACERT
ANR