Pages that link to "Item:Q4650346"

The following pages link to Abstraction, Refinement and Proof for Probabilistic Systems (Q4650346):

Displaying 2 items.

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