| 2006 |
|---|
| 6 | EE | I. S. W. B. Prasetya,
Tanja E. J. Vos,
S. Doaitse Swierstra:
Web Cube.
FORTE 2006: 77-92 |
| 5 | 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 |
|---|
| 4 | 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 |
| 3 | EE | Tanja E. J. Vos,
S. Doaitse Swierstra:
Facilitating the Verification of Diffusing Computations and Their Applications.
CLEI Electron. J. 8(1): (2005) |
| 2004 |
|---|
| 2 | 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 |
| 1997 |
|---|
| 1 | | Tanja E. J. Vos,
S. Doaitse Swierstra:
Make your Enemies Transparent.
WG 1997: 342-353 |
