A model and a method for the stepwise development of verified programs
By: Lee A. Benzinger.
Series: Report ;; no. UIUCDCS-R-87-1339; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; no. UIUCDCS-R-87-1339.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1987
Place of publication: Urbana, Ill. (1304 W. Springfield Ave., Urbana 61801-2987)
Language: eng
Number of pages: 125
Subjects: Computer programming.; Computer software -- Development.
Notes: Bibliography: p. 124-125.
"May 1987."
"UILU-ENG-87-1727"--Cover.