1990
Proving total correctness of recursive procedures
Publication
Publication
Information and Computation , Volume 84 - Issue 2 p. 129- 162
Additional Metadata | |
---|---|
Academic Press | |
Information and Computation | |
America, P., & de Boer, F. (1990). Proving total correctness of recursive procedures. Information and Computation, 84(2), 129–162. |