| |
| 1998 | ||
|---|---|---|
| 3 | EE | Kate Finney, Keith Rennolls, Alexander M. Fedorec: Measuring the comprehensibility of Z specifications. Journal of Systems and Software 42(1): 3-15 (1998) |
| 1996 | ||
| 2 | EE | Kate Finney: Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Trans. Software Eng. 22(2): 158-159 (1996) |
| 1 | Kate Finney, Norman E. Fenton: Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here. Journal of Systems and Software 35(3): 209-216 (1996) | |
| 1 | Alexander M. Fedorec | [3] |
| 2 | Norman E. Fenton | [1] |
| 3 | Keith Rennolls | [3] |