Transformation of a termination detection algorithm and its assertional correctness proof
Publication date
1988
Authors
Schoone, A.A.
Tel, G.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Schoone, A A & Tel, G 1988, Transformation of a termination detection algorithm and its assertional correctness proof. vol. 88-40, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-88-40.html >