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 |