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

ANR
Oct 2014 - Mar 2019

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

Administrator : 
Affiliation : Université Paris XI

SOPRANO



Research activities

Participants
MELQUIOND Guillaume


Contracts & grants
° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP

° DATACERT
DATACERT
ANR