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
992 Preuves formelles et sémantique probabiliste en cryptographie FORMACRYPT ANR-05-SSIA-0009