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