1979
Recursive assertions are not enough -- or are they?
Publication
Publication
Theoretical Computer Science , Volume 8 p. 73- 87
Additional Metadata | |
---|---|
elsevier | |
Theoretical Computer Science | |
Apt, K., Bergstra, J., & Meertens, L. (1979). Recursive assertions are not enough -- or are they?. Theoretical Computer Science, 8, 73–87. |