The following pages link to Martin C. Henson (Q706505):
Displaying 25 items.
- A logic for schema-based program development (Q706506) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- The specification logic \(\nu \)Z (Q851135) (← links)
- The standard logic of \(Z\) is inconsistent (Q1293887) (← links)
- Revising \(Z\). I: Logic and semantics (Q1974477) (← links)
- Revising \(Z\). II: Logical development (Q1974478) (← links)
- (Q2863832) (← links)
- (Q2863834) (← links)
- (Q3316567) (← links)
- (Q3478405) (← links)
- Applications and Methodology of νZ (Q3557670) (← links)
- Higher-order Transformations and Type Simulations (Q3813272) (← links)
- (Q4250661) (← links)
- (Q4264070) (← links)
- (Q4370284) (← links)
- (Q4436963) (← links)
- (Q4436965) (← links)
- (Q4454298) (← links)
- An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II (Q4454299) (← links)
- (Q4680194) (← links)
- (Q4841288) (← links)
- On the Proof Theory of Program Transformations (Q4847375) (← links)
- An Intensional Semantics for Elementary Program Transformations (Q4847377) (← links)
- Investigating Z (Q4952026) (← links)
- A Relational Investigation of UTP Designs and Prescriptions (Q5307477) (← links)
