Pages that link to "Item:Q1050765"

The following pages link to Verifying programs by induction on their data structure: general format and applications (Q1050765):

Displaying 1 item.

• Strongest invariant functions: Their use in the systematic analysis of while statements (Q797985) (← links)