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 (Ignatius Sri Wishnu Brata Prasetya, Wishnu Prasetya)	[1] [2] [3]
3	S. Doaitse Swierstra	[1]
4	Tanja E. J. Vos	[1] [2] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page