| |
| 2006 | ||
|---|---|---|
| 3 | 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 | ||
| 2 | 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 |
| 2004 | ||
| 1 | EE | I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra: A UNITY-Based Framework Towards Component Based Systems. OPODIS 2004: 52-66 |
| 1 | Arthur van Leeuwen | [2] [3] |
| 2 | I. S. W. B. Prasetya | [1] [2] |
| 3 | Ignatius Sri Wishnu Brata Prasetya | [3] |
| 4 | S. Doaitse Swierstra | [1] |
| 5 | Tanja E. J. Vos | [1] [2] [3] |