HOME cs.uu.nl home education contact library calendar search UU.NL
about us research people archive services jobs

technical reports : drs. A.J. van Leeuwen

Arthur van Leeuwen

select other reports

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}
}

valid-html401 webmaster@cs.uu.nl, Fri, 18 Apr 2014 13:52:01 +0200 ← Departement Informatica, Universiteit Utrecht