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