Sandrine Blazy
1
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 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
|