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

technical reports : dr. C. Pierik

select other reports

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

this selection

author	dr. C. Pierik

reports (3)

techrep_id	file	title / author
UU-CS-2003-032	ps.gz pdf	A Rule of Adaptation for OO Cees Pierik and Frank S. de Boer
UU-CS-2003-010	ps.gz pdf	A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts Cees Pierik, Frank S. de Boer
UU-CS-2003-002	ps.gz pdf	Towards an environment for the verification of annotated object-oriented programs Frank S. de Boer, Cees Pierik

indexed (co) authors

author		group
Boer, dr. F.S. de	all reports	intelligent systems	all reports
Pierik, dr. C.	all reports	intelligent systems	all reports

BibTeX entries

@TECHREPORT{UUCS2003032,
author = {Pierik, Cees and Boer, Frank~S.~de},
year = 2003,
title = {A Rule of Adaptation for OO},
number = {UU-CS-2003-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-032.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-032.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2003010,
author = {Pierik, Cees and Boer, Frank~S.~de},
year = 2003,
title = {A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts},
number = {UU-CS-2003-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-010.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-010.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2003002,
author = {Boer, Frank~S.~de and Pierik, Cees},
year = 2003,
title = {Towards an environment for the verification of annotated object-oriented programs},
number = {UU-CS-2003-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-002.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-002.pdf}},
pubcat = {techreport}
}