Pages that link to "Item:Q1188723"
From MaRDI portal
The following pages link to On the shape of mathematical arguments (Q1188723):
Displaying 8 items.
- On the purpose of Event-B proof obligations (Q539230) (← links)
- An elementary and unified approach to program correctness (Q607408) (← links)
- On Euclid's algorithm and elementary number theory (Q627201) (← links)
- Structured calculational proof (Q1267033) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- Correctness, explanation and intention (Q2179349) (← links)
- Incremental System Modelling in Event-B (Q3638993) (← links)
- A Mizar mode for HOL (Q6567713) (← links)