ANR AFRICA: Formal Analysis of Runtime Libraries used in Complex Simulations - AFRICA

2026 - 2030
ANR
Nationale
État : Deposé
LMV
Responsables : Frédéric LOULERGUE (Responsable local) Jolan PHILIPPE (Participant)

Description

Formal Analysis of Runtime Libraries used in Complex Simulations