Pages that link to "Item:Q1284701"
From MaRDI portal
The following pages link to Dijkstra-Scholten predicate calculus: Concepts and misconceptions (Q1284701):
Displaying 6 items.
- An elementary and unified approach to program correctness (Q607408) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- Extreme solutions of equations (Q3801052) (← links)
- Predicate calculus and program semantics (Q4692630) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- On calculational proofs (Q5957914) (← links)