The following pages link to Christopher M. Poskitt (Q2096430):
Displaying 5 items.
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- Hoare-Style Verification of Graph Programs (Q2898467) (← links)
- Verifying Monadic Second-Order Properties of Graph Programs (Q3192221) (← links)
- A Hoare Calculus for Graph Programs (Q4931309) (← links)
