Sandrine Blazy
1
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
|
A Precise and Abstract Memory Model for C Using Symbolic Values12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 - 468, ⟨10.1007/978-3-319-12736-1_24⟩
Communication dans un congrès
hal-01093312v1
|