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

ANR
Oct 2015 - Sep 2020

Group : Verification of Algorithms, Languages and Systems
Principal investigator : FILLIÂTRE Jean-Christophe

Administrator : 
Affiliation : Université Paris XI

VOCAL



Research activities

Participants


Contracts & grants
° PARDI
PARDI
ANR

° DATACERT
DATACERT
ANR