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] |