- Preview Available
- Scholarly Journal
The Logic of Computer Programming
Manna, Z; Waldinger, R.
IEEE Transactions on Software Engineering; New York Vol. 4, Iss. 3, (May 1978): 199-229.
DOI:10.1109/TSE.1978.231499
This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.





