| |
| 2007 | ||
|---|---|---|
| 2 | EE | Oleg Mürk, Daniel Larsson, Reiner Hähnle: KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390 |
| 2006 | ||
| 1 | EE | Oleg Mürk, Jevgeni Kabanov: Aranea: web framework construction and integration kit. PPPJ 2006: 163-172 |
| 1 | Reiner Hähnle | [2] |
| 2 | Jevgeni Kabanov | [1] |
| 3 | Daniel Larsson | [2] |