Equivalence of the Gries and Martin proof rules for procedure calls

• Authors:

• A Bijlsma;J G Wiltink;P A Matthews

• Affiliations:

• -;-;-

• Venue:
• Acta Informatica
• Year:
• 1986