Technical communications: Critiquing a critique of Hoare's programming logics. author's response

• Authors:

• Michael J. O'Donnell

• Affiliations:

• Purdue University, West Lafayette, IN

• Venue:
• Communications of the ACM
• Year:
• 1983