Catégorie Communication dans un congrè Auteurs Frédéric Besson Sandrine Blazy Pierre Wilke https://inria.hal.science/hal-01093312v1 doc ID 1093312 Nom A Precise and Abstract Memory Model for C Using Symbolic Values Date de publication ven 28/03/2025 - 12:00