The following pages link to A language of specified programs (Q2265800):
Displaying 9 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Proof obligations for blocks and procedures (Q919838) (← links)
- Inductive assertion method for logic pograms (Q1105352) (← links)
- Specifications, programs, and total correctness (Q1806131) (← links)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- (Q3284160) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)