Identifiant projet
90
Acronyme projet
AFRICA
Titre projet
ANR AFRICA: Formal Analysis of Runtime Libraries used in Complex Simulations
Année début projet
2026
Année fin projet
2030
Type projet
Équipe projet
LMV
Avancement projet
Envergure projet
Résumé projet
Formal Analysis of Runtime Libraries used in Complex Simulations
