Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-2012-008

select other reports

report

techrep_id file title / author
UU-CS-2012-008 pdf Testing Type Class Laws
Johan Jeuring, Patrik Jansson and Cláudio Amaral

indexed authors

author group
Jeuring, prof. dr. J.T. all reports Soft.Tech. for Learning and Teaching all reports

BibTeX entry

@TECHREPORT{UUCS2012008,
author = {Jeuring, Johan and Jansson, Patrik and Amaral, Cláudio},
year = 2012,
title = {Testing Type Class Laws},
number = {UU-CS-2012-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-008.pdf}},
pubcat = {techreport}
}