1980
Completeness with finite systems of intermediate assertions for recursive program schemes
Publication
Publication
SIAM Journal on Computing , Volume 9 p. 665- 671
Additional Metadata | |
---|---|
SIAM | |
SIAM Journal on Computing | |
Apt, K., & Meertens, L. (1980). Completeness with finite systems of intermediate assertions for recursive program schemes. SIAM Journal on Computing, 9, 665–671. |