The following pages link to Joakim von Wright (Q204600):
Displayed 17 items.
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Structured calculational proof (Q1267033) (← links)
- (Q1309246) (redirect page) (← links)
- Mechanizing some advanced refinement concepts (Q1309250) (← links)
- Class refinement as semantics of correct object substitutability (Q1586166) (← links)
- Contracts, games, and refinement. (Q1854322) (← links)
- (Q2754055) (← links)
- (Q3024879) (← links)
- Refinement Algebra with Operators for Enabledness and Termination (Q3618834) (← links)
- (Q4247082) (← links)
- (Q4250652) (← links)
- (Q4250662) (← links)
- Refinement Calculus (Q4396958) (← links)
- (Q4412510) (← links)
- (Q4493906) (← links)
- (Q4808696) (← links)
- Encoding, decoding and data refinement (Q5944217) (← links)