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

• Authors:

• Yuri Gurevich;Mark Millard

• Affiliations:

• The University of Michigan, Ann Arbor, MI;8415 S.E. Stephens St., Portland, OR

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