| 2006 |
|---|
| 31 | EE | Moshe Deutsch,
Martin C. Henson:
A Relational Investigation of UTP Designs and Prescriptions.
UTP 2006: 101-122 |
| 30 | EE | Moshe Deutsch,
Martin C. Henson:
An analysis of refinement in an abortive paradigm.
Formal Asp. Comput. 18(3): 329-363 (2006) |
| 29 | EE | Martin C. Henson,
Moshe Deutsch,
Besnik Kajtazi:
The specification logic nuZ.
Formal Asp. Comput. 18(3): 364-395 (2006) |
| 2005 |
|---|
| 28 | | Helen Treharne,
Steve King,
Martin C. Henson,
Steve A. Schneider:
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Springer 2005 |
| 27 | EE | Moshe Deutsch,
Martin C. Henson:
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.
APSEC 2005: 149-158 |
| 26 | EE | Martin C. Henson,
Besnik Kajtazi:
The Specification Logic vZ.
Electr. Notes Theor. Comput. Sci. 137(2): 111-129 (2005) |
| 25 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Operation-Refinement in an Abortive Paradigm.
Electr. Notes Theor. Comput. Sci. 137(2): 67-92 (2005) |
| 2003 |
|---|
| 24 | EE | Moshe Deutsch,
Martin C. Henson,
Besnik Kajtazi:
Modular refinement in novel schema calculi.
APSEC 2003: 197- |
| 23 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics.
APSEC 2003: 38-48 |
| 22 | EE | Moshe Deutsch,
Martin C. Henson,
Steve Reeves:
Operation Refinement and Monotonicity in the Schema Calculus.
ZB 2003: 103-126 |
| 21 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Forward Simulation Data Refinement.
ZB 2003: 148-167 |
| 20 | | Martin C. Henson,
Steve Reeves,
Jonathan P. Bowen:
Z Logic and its Consequences.
Computers and Artificial Intelligence 22(4): (2003) |
| 19 | EE | Martin C. Henson,
Steve Reeves:
A Logic for Schema-Based Program Development.
Formal Asp. Comput. 15(1): 48-83 (2003) |
| 18 | EE | Moshe Deutsch,
Martin C. Henson,
Steve Reeves:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.
Logic Journal of the IGPL 11(3): 287-317 (2003) |
| 17 | EE | Moshe Deutsch,
Martin C. Henson:
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II.
Logic Journal of the IGPL 11(3): 319-352 (2003) |
| 2002 |
|---|
| 16 | | Didier Bert,
Jonathan P. Bowen,
Martin C. Henson,
Ken Robinson:
ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings
Springer 2002 |
| 15 | EE | Moshe Deutsch,
Martin C. Henson,
Steve Reeves:
Results on Formal Stepwise Design in Z.
APSEC 2002: 33-42 |
| 2000 |
|---|
| 14 | EE | Martin C. Henson,
Steve Reeves:
Program Development and Specification Refinement in the Schema Calculus.
ZB 2000: 344-362 |
| 13 | | Martin C. Henson,
Steve Reeves:
Investigating Z.
J. Log. Comput. 10(1): 43-73 (2000) |
| 1999 |
|---|
| 12 | EE | Martin C. Henson,
Steve Reeves:
Revising Z: Part I - Logic and Semantics.
Formal Asp. Comput. 11(4): 359-380 (1999) |
| 11 | EE | Martin C. Henson,
Steve Reeves:
Revising Z: Part II - Logical Development.
Formal Asp. Comput. 11(4): 381-401 (1999) |
| 1998 |
|---|
| 10 | | Martin C. Henson,
Steve Reeves:
A Logic for the Schema Calculus.
ZUM 1998: 172-191 |
| 9 | EE | Martin C. Henson:
The Standard Logic of Z is Inconsistent.
Formal Asp. Comput. 10(3): 243-247 (1998) |
| 1995 |
|---|
| 8 | | Martin C. Henson:
An intensional semantics for elementary program transformations.
J. Log. Comput. 5(4): 423-447 (1995) |
| 7 | EE | Martin C. Henson:
On the Proof Theory of Program Transformations.
Logic Journal of the IGPL 3(4): 643-671 (1995) |
| 1991 |
|---|
| 6 | | Martin C. Henson:
Safe Positive Induction in the Programming Logic TK.
RCLP 1991: 215-231 |
| 1989 |
|---|
| 5 | | Martin C. Henson:
Realizability Models for Program Construction.
MPC 1989: 256-272 |
| 4 | | Martin C. Henson:
Program Development in the Constructive Set Theory TK.
Formal Asp. Comput. 1(2): 173-192 (1989) |
| 1988 |
|---|
| 3 | | Martin C. Henson,
Raymond Turner:
A Constructive Set Theory for Program Development.
FSTTCS 1988: 329-347 |
| 2 | | Martin C. Henson:
Higher-Order Transformations and Type Simulations.
Comput. J. 31(6): 517-524 (1988) |
| 1982 |
|---|
| 1 | | Martin C. Henson,
Raymond Turner:
Completion Semantics, Interpreter Generation.
POPL 1982: 242-254 |
