The following pages link to Jeff W. Sanders (Q652157):
Displayed 15 items.
- (Q578900) (redirect page) (← links)
- Prespecification in data refinement (Q578901) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Specification by interface separation (Q1903078) (← links)
- Refinement-oriented probability for CSP (Q2365393) (← links)
- The weakest specifunction (Q2484065) (← links)
- UTP and Sustainability (Q3055738) (← links)
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language (Q3455653) (← links)
- Abstraction of Object Graphs in Program Verification (Q3575267) (← links)
- Compositional Reasoning for Pointer Structures (Q3618818) (← links)
- (Q3713577) (← links)
- Laws of programming (Q3766810) (← links)
- Corrigenda: laws of programming (Q3799624) (← links)
- (Q4791272) (← links)
- Unifying Probability (Q5307481) (← links)