Skip to main content
Log In
(current)
Home
Joint Institutes & Centers with ORNL
Science Alliance
The Harlan D. Mills Collection
Proving the Correctness of Structured Programs
Details
Proving the Correctness of Structured Programs
Date Issued
January 1, 1970
Author(s)
Mills, Harlan D.
Permanent URI
https://trace.tennessee.edu/handle/20.500.14382/47046
Subjects
programming correctne...
structured programs
Comments
unpublished
Show more
