A hoare-like proof system for analysing the computation time of programs

• Authors:

• Hanne Riis Nielson

• Affiliations:

• Aalborg Univ. Centre, Aalborg, Denmark

• Venue:
• Science of Computer Programming
• Year:
• 1987