home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical reports : drs. A.J. van Leeuwen

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	drs. A.J. van Leeuwen

reports (2)

techrep_id	file	title / author
UU-CS-2008-001	pdf	Specifying Strategies for Exercises Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen and Alex Gerdes
UU-CS-2005-046	pdf	Theorem Prover Supported Logics for Small Imperative Languages I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A. van Leeuwen, H. Suhartanto

indexed (co) authors

author		group
Azurat, A.	all reports	software technology	all reports
Gerdes, ir. A.	all reports	software technology	all reports
Heeren, dr. B.J.	all reports	software technology	all reports
Jeuring, prof. dr. J.T.	all reports	software technology	all reports
Leeuwen, drs. A.J. van	all reports	software technology	all reports
Prasetya, dr. S.W.B.	all reports	software technology	all reports
Vos, dr. T.E.J.	all reports	software technology	all reports

BibTeX entries

@TECHREPORT{UUCS2008001,
author = {Heeren, Bastiaan and Jeuring, Johan and Leeuwen, Arthur~van and Gerdes, Alex},
year = 2008,
title = {Specifying Strategies for Exercises},
number = {UU-CS-2008-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-001.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2005046,
author = {Prasetya, I.S.W.B. and Azurat, A. and Vos, T.E.J. and Leeuwen, A.~van and Suhartanto, H.},
year = 2005,
title = {Theorem Prover Supported Logics for Small Imperative Languages},
number = {UU-CS-2005-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-046.pdf}},
pubcat = {techreport}
}