Pages that link to "Item:Q1915136"
From MaRDI portal
The following pages link to Middle-out reasoning for synthesis and induction (Q1915136):
Displayed 4 items.
- An integrated approach to high integrity software verification (Q861714) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)