The following pages link to (Q4281676):
Displaying 16 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Predicative specifications for functional programs describing communicating networks (Q579917) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- A calculus of refinements for program derivations (Q1111362) (← links)
- Statement inversion and strongest postcondition (Q1261493) (← links)
- Dijkstra-Scholten predicate calculus: Concepts and misconceptions (Q1284701) (← links)
- Parallel composition and decomposition of specifications (Q1602555) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- A relational calculus for program construction by parts (Q1916368) (← links)
- Predicative programming Part II (Q3723676) (← links)
- Laws of programming (Q3766810) (← links)
- Extreme solutions of equations (Q3801052) (← links)
- A Weakest Precondition Semantics for Z (Q3842954) (← links)
- Predicate calculus and program semantics (Q4692630) (← links)
- (Q4725709) (← links)