Publications Mopsa-C: Modular domains and relational abstract interpretation for C programs (competition contribution) Mopsa-C: Modular domains and relational abstract interpretation for C programs (competition contribution) Raphaël Monat Abdelraouf Ouadjaout Antoine Miné PDF DOI
