Department of Information and Computing Sciences

technical report RUU-CS-92-40

select other reports

• technical report index page

report

techrep_id	file	title / author
RUU-CS-92-40	pdf	Semantics, orderings and recursion in the weakest precondition calculus M. Bonsangue and J.N. Kok

indexed authors

author		group
Kok, prof. dr. J.N.	all reports	Games and Virtual Worlds	all reports

BibTeX entry

@TECHREPORT{RUUCS9240,
author = {Bonsangue, M. and Kok, J.N.},
year = 1992,
title = {Semantics, orderings and recursion in the weakest precondition calculus},
number = {RUU-CS-92-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-40.pdf}},
pubcat = {techreport}
}