| |
| 1996 | ||
|---|---|---|
| 3 | Jonathan D. Moffett, Jon G. Hall, Andrew Coombes, John A. McDermid: A Model for a Causal Logic for Requirements Engineering. Requir. Eng. 1(1): 27-46 (1996) | |
| 1992 | ||
| 2 | Andrew Coombes, John A. McDermid: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. Z User Workshop 1992: 119-130 | |
| 1990 | ||
| 1 | Andrew Coombes, John A. McDermid: A Tool for Defining the Architecture of Z Specifications. Z User Workshop 1990: 77-92 | |
| 1 | Jon G. Hall | [3] |
| 2 | John A. McDermid | [1] [2] [3] |
| 3 | Jonathan D. Moffett | [3] |