Fiche d'un projet ANR

 45816Génération de code sécurisé avec des protections formellement prouvées [En savoir plus]PROSECCO - ANR-15-CE39-0008
AAPG2015 - 2015