Mathematical theory of partial correctness*
Under an Elsevier user license
open archive
Cited by (0)
- *
This research was supported in part by the Advanced Research Projects Agency of the Office of the Secretary of Defense (SD-183). A preliminary version of this work was presented under the title “Second-Order Mathematical Theory of Computation” at the ACM Symposium on Theory of Computing (May 1970).
Copyright © 1971 Published by Elsevier Inc.