Pages that link to "Item:Q3630170"

The following pages link to Modular Verification of Recursive Programs (Q3630170):

Displaying 3 items.

• Experiments in program verification using Event-B (Q432154) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)