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

technical report UU-CS-2003-010

select other reports

• technical report index page

report

techrep_id	file	title / author
UU-CS-2003-010	ps.gz pdf	A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts Cees Pierik, Frank S. de Boer

indexed authors

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

BibTeX entry

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