The Harlan D. Mills Collection
Title
Proving Arbitrary Programs Correct by Direct Arguments
Document Type
Report
Publication Date
10-29-1974
Recommended Citation
Mills, Harlan D., "Proving Arbitrary Programs Correct by Direct Arguments" (1974). The Harlan D. Mills Collection.
https://trace.tennessee.edu/utk_harlan/254
Comments
unpublished