| |
| 2008 | ||
|---|---|---|
| 4 | EE | K. Rustan M. Leino, Angela Wallenburg: Class-local object invariants. ISEC 2008: 57-66 |
| 3 | EE | K. Rustan M. Leino, Peter Müller, Angela Wallenburg: Flexible Immutability with Frozen Objects. VSTTE 2008: 192-208 |
| 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 | K. Rustan M. Leino | [3] [4] |
| 3 | Peter Müller | [3] |
| 4 | Ola Olsson | [2] |