| |
| 2005 | ||
|---|---|---|
| 2 | EE | Ola Olsson, Angela Wallenburg: Customised Induction Rules for Proving Correctness of Imperative Programs. SEFM 2005: 180-189 |
| 2003 | ||
| 1 | EE | Reiner Hähnle, Angela Wallenburg: Using a Software Testing Technique to Improve Theorem Proving. FATES 2003: 30-41 |
| 1 | Reiner Hähnle | [1] |
| 2 | Ola Olsson | [2] |