| |
| 2008 | ||
|---|---|---|
| 2 | EE | Martin Nordio, Peter Müller, Bertrand Meyer: Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335 |
| 2007 | ||
| 1 | EE | Peter Müller, Martin Nordio: Proof-transforming compilation of programs with abrupt termination. SAVCBS 2007: 39-46 |
| 1 | Bertrand Meyer | [2] |
| 2 | Peter Müller | [1] [2] |