| |
| 2008 | ||
|---|---|---|
| 3 | EE | Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445 |
| 2006 | ||
| 2 | EE | Ignatius Sri Wishnu Brata Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen: Incremental Implementation of Syntax Driven Logics. JSW 1(3): 1-13 (2006) |
| 2005 | ||
| 1 | EE | I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen: Building Verification Condition Generators by Compositional Extensions. SEFM 2005: 220-230 |
| 1 | A. Azurat | [1] [2] |
| 2 | Alex Gerdes | [3] |
| 3 | Bastiaan Heeren | [3] |
| 4 | Johan Jeuring | [3] |
| 5 | I. S. W. B. Prasetya | [1] |
| 6 | Ignatius Sri Wishnu Brata Prasetya | [2] |
| 7 | Tanja E. J. Vos | [1] [2] |