Accéder directement au contenu

Sandrine Blazy

2
Documents
Identifiants chercheurs

Présentation

Publications

boris-yakobowski

Improving static analyses of C programs with conditional predicates

Sandrine Blazy , David Bühler , Boris Yakobowski
FMICS 2014: Formal Methods for Industrial Critical Systems, Sep 2014, Florence, Italy. pp.15, ⟨10.1007/978-3-319-10702-8_10⟩
Communication dans un congrès hal-01242087v1