Pages that link to "Item:Q1091122"

The following pages link to A Hoare-like proof system for analysing the computation time of programs (Q1091122):

Displaying 2 items.

• Fifty years of Hoare's logic (Q2280214) (← links)
• Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs (Q2802489) (← links)