Pages that link to "Item:Q3630170"
From MaRDI portal
The following pages link to Modular Verification of Recursive Programs (Q3630170):
Displaying 5 items.
- Experiments in program verification using Event-B (Q432154) (← links)
- Modular correctness proofs of behavioural implementations (Q1127821) (← links)
- Secure mechanical verification of mutually recursive procedures (Q1887136) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
