Benzinger, Lee A.
A model and a method for the stepwise development of verified programs / by Lee A. Benzinger .- Illinois: Det. of Computer Sc, Univ. of Illinois, 1987 .- iv, 125p. .- ( Report No. UTUCDCS-R-87-1339
Subject Headings:
Verified programs;
Copy Details:
Acc. No.: TR007274, Full Call No.: , Item type: Technical Report , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
A model and a method for the stepwise development of verified programs / by Lee A. Benzinger .- Illinois: Det. of Computer Sc, Univ. of Illinois, 1987 .- iv, 125p. .- ( Report No. UTUCDCS-R-87-1339
Subject Headings:
Verified programs;
Copy Details:
Acc. No.: TR007274, Full Call No.: , Item type: Technical Report , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------