A. Azurat

	2006
3		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		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		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

Coauthor Index

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]