Machine assisted proofs of recursion implementation
By: by Avra Jean Cohn.
Series: CST-6-79
Publisher: University of Edinburgh, Dept. of Computer Science
Published: 1979
Place of publication: Edinburgh
Language: eng
Number of pages: 228
Subjects: Edinburgh LCF (Computer system); Computer programs -- Testing.
Notes: Thesis--University of Edinburgh.

Bibliography: p. 225-228.