Inductive assertion patters for recursive procedures

• Authors:

• Maarten M. Fokkinga

• Affiliations:

• -

• Venue:
• Programming Symposium, Proceedings Colloque sur la Programmation
• Year:
• 1974