Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des projets ANR

Ce module vous permet de consulter la liste des projets ANR.
 
ind titre acronyme reference ACTIONS
32363 Vérification formelle d'un générateur de code pour un langage synchrone VeriSync ANR-10-BLAN-0310