Hoare's Logic is Incomplete When It Does Not Have To Be

• Authors:

• Jan A. Bergstra;Anna Chmielinska;Jerzy Tiuryn

• Affiliations:

• -;-;-

• Venue:
• Logic of Programs, Workshop
• Year:
• 1981