Department of Information and Computing Sciences

technical report UU-CS-2012-008

select other reports

• technical report index page

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