| |
| 2007 | ||
|---|---|---|
| 2 | EE | Zaynah Dargaye, Xavier Leroy: Mechanized Verification of CPS Transformations. LPAR 2007: 211-225 |
| 2006 | ||
| 1 | EE | Sandrine Blazy, Zaynah Dargaye, Xavier Leroy: Formal Verification of a C Compiler Front-End. FM 2006: 460-475 |
| 1 | Sandrine Blazy | [1] |
| 2 | Xavier Leroy | [1] [2] |