Verification of recursive programs
Subtitle: a temporal proof approach
By: by Simon M. Kaplan.
Series: Report / Department of Computer Science, University of Illinois at Urbana-Champaign ;; no. UIUCDCS-R-85-1207; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-85-1207.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1985
Place of publication: Urbana, Ill. (1304 W. Springfield Ave., Urbana 61801)
Language: eng
Number of pages: 34
Subjects: Automatic theorem proving.; Recursive programming.
Notes: "September 1985."
Bibliography: p. 32-34.