Arthur van Leeuwen

	2008
3		Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
	2006
2		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
1		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

Coauthor Index

1	A. Azurat	[1] [2]
2	Alex Gerdes	[3]
3	Bastiaan Heeren	[3]
4	Johan Jeuring	[3]
5	I. S. W. B. Prasetya	[1]
6	Ignatius Sri Wishnu Brata Prasetya	[2]
7	Tanja E. J. Vos	[1] [2]

Colors in the list of coauthors