Collaborative Memory Models for formal Verification - CoMeMoV
2023 - 2025
ANR
Nationale
État : Accepté
Responsables :
Frédéric LOULERGUE (Porteur)
Myriam CLOUET (Participant)