A comment on: "An exercise in automatic program verification"

• Authors:

• Ken Foster

• Affiliations:

• -

• Venue:
• ACM SIGSOFT Software Engineering Notes
• Year:
• 1980