Pages that link to "Item:Q1251072"

The following pages link to A synthesis of several sorting algorithms (Q1251072):

Displaying 4 items.

• Experiments in program verification using Event-B (Q432154) (← links)
• Synthesis of list algorithms by mechanical proving (Q485837) (← links)
• Provably correct derivation of algorithms using FermaT (Q736840) (← links)
• Programming from metaphorisms (Q1683699) (← links)