Pages that link to "Item:Q3925144"

The following pages link to Ten Years of Hoare's Logic: A Survey—Part I (Q3925144):

Displaying 4 items.

• A first order logic of effects (Q1390955) (← links)
• On the completeness of propositional Hoare logic (Q1602554) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)