technical report RUU-CS-92-40
select other reports
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 |
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}
}