Collaborative Memory Models for formal Verification - CoMeMoV

2023 - 2025
ANR
Nationale
État : Accepté
LMV
Responsables : Frédéric LOULERGUE (Porteur) Myriam CLOUET (Participant)