Vérification Dynamique des propriétés de Sécurité - VeDySec
2024 - 2027
ANR/AID
Nationale
État : Accepté
Responsables :
Frédéric LOULERGUE (Responsable local)
Yani ZIANI (Participant)