Pages that link to "Item:Q3815517"

The following pages link to Formal program construction by transformations-computer-aided, intuition-guided programming (Q3815517):

Displayed 3 items.

• Towards ``mouldable code'' via nested code graph transformation (Q406453) ‎ (← links)
• Provably correct derivation of algorithms using FermaT (Q736840) ‎ (← links)
• Assertions and recursions (Q4645810) ‎ (← links)