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

ANR
Jan 2016 - Jan 2021

Group : Verification of Algorithms, Languages and Systems
Principal investigator : CONTEJEAN Evelyne

Administrator : 
Affiliation : Université Paris XI

Datacert



Research activities

Participants


Contracts & grants
° VOCAL
VOCAL
ANR

° PARDI
PARDI
ANR