The Harlan D. Mills Collection
Document Type
Article
Publication Date
6-1988
Recommended Citation
Mills, Harlan D., "Stepwise Refinement and Verification in Box-Structured Systems" (1988). The Harlan D. Mills Collection.
https://trace.tennessee.edu/utk_harlan/16
Comments
Computer 21:6, pp 23-36