A symmetric, top-down structured approach to computer program/proof development.

• Authors:

• Lawrence Yelowitz

• Affiliations:

• -

• Venue:
• A symmetric, top-down structured approach to computer program/proof development.
• Year:
• 1972