View in EDS

Proof of a recursive program.

Saved in:
Bibliographic Details
Title: Proof of a recursive program.
Authors: Foley, M., Hoare, C. A. R.
Source: Computer Journal; November 1971, Vol. 14, p391-395, 5p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first