| |
| 2003 | ||
|---|---|---|
| 1 | EE | Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur: On the automatic evolution of an OS kernel using temporal logic and AOP. ASE 2003: 196-204 |
| 1 | Julia L. Lawall | [1] |
| 2 | Anne-Françoise Le Meur | [1] |
| 3 | Gilles Muller | [1] |
| 4 | Mario Südholt | [1] |