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
- 1
- 1
|
A formally-verified C static analyzerPOPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.247-259, ⟨10.1145/2676726.2676966⟩
Communication dans un congrès
hal-01078386v1
|