technical report RUU-CS-88-40
select other reports
report
techrep_id |
file |
title / author |
RUU-CS-88-40 |
pdf |
Transformation of a termination detection algorithm and its assertional correctness proof A.A. Schoone and G. Tel |
BibTeX entry
@TECHREPORT{RUUCS8840,
author = {Schoone, A.A. and Tel, G.},
year = 1988,
title = {Transformation of a termination detection algorithm and its assertional correctness proof},
number = {RUU-CS-88-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-40.pdf}},
pubcat = {techreport}
}