Pages that link to "Item:Q796289"
From MaRDI portal
The following pages link to The mathematical construction of a program (Q796289):
Displaying 13 items.
- Proving properties of Pascal programs in MIZAR 2 (Q1058285) (← links)
- The weakest prespecification (Q1091121) (← links)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
- Joining programming theorems. A practical approach to program building (Q2770750) (← links)
- Programming as a mathematical exercise (Q3221387) (← links)
- (Q3801053) (← links)
- (Q4003444) (← links)
- Constructive Mathematics in Theory and Programming Practice (Q4237644) (← links)
- (Q4303127) (← links)
- Formalization of constructivity in Automath (Q5187278) (← links)
- (Q5310886) (← links)
- High-Level Theories (Q5505502) (← links)