Sandrine Blazy
2
Documents
Identifiants chercheurs
sandrine-blazy-
0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
Mechanised Semantics for Gated Static Single AssignmentCPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.1-15, ⟨10.1145/3573105.3575681⟩
Communication dans un congrès
hal-03899435v1
|
|
|
|
Validating Dominator Trees for a Fast, Verified Dominance TestInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_6⟩
Communication dans un congrès
hal-01193281v1
|