Fiche d'un projet ANR

 43593Méthodes formelles pour la conception d'algorithmes distribués [En savoir plus]FREDDA - ANR-17-CE40-0013
AAPG2017 - 2017