| |
| 2008 | ||
|---|---|---|
| 2 | EE | Dirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008) |
| 2005 | ||
| 1 | EE | Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12 |
| 1 | Dirk Leinenbach | [1] [2] |
| 2 | Wolfgang J. Paul | [1] |