Pages that link to "Item:Q2946594"

The following pages link to A general framework for sound and complete Floyd-Hoare logics (Q2946594):

Displaying 3 items.

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