Sandrine Blazy
2
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
|
Improving static analyses of C programs with conditional predicatesScience of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩
Article dans une revue
hal-01242077v1
|
Improving static analyses of C programs with conditional predicatesFMICS 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
|