Arthur van Leeuwen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

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