Fran├žais Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
DIM COQUELICOT -CONVENTION PROJE

DIGITEO
Sep 2011 - Aug 2014

Group : Verification of Algorithms, Languages and Systems
Principal investigator : BOLDO Sylvie

Administrator : 
Affiliation : INRIA
Contracts & grants
° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR

° LCHIP
LCHIP

° DATACERT
DATACERT
ANR