The following pages link to Paul H. B. Gardiner (Q1330444):
Displayed 11 items.
- Item:Q1330444 (redirect page) (← links)
- Item:Q672319 (redirect page) (← links)
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- A single complete rule for data refinement (Q684396) (← links)
- Data refinement by calculation (Q913482) (← links)
- Data refinement of predicate transformers (Q1177155) (← links)
- An algebraic construction of predicate transformers (Q1330446) (← links)
- Power simulation and its relation to traces and failures refinement (Q1884900) (← links)
- Structured development of a virtual shared memory system (Q1911316) (← links)
- (Q4281666) (← links)
- (Q4426382) (← links)
- (Q4499294) (← links)