| 1996 | ||
|---|---|---|
| 6 | Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman: Analysing Large COBOL Programs: the extraction of reusable modules. ICSM 1996: 238-243 | |
| 5 | Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman: Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity. WCRE 1996: 189- | |
| 1994 | ||
| 4 | Clazien D. Wezeman, Anthony J. Judge: Z for Managed Objects. Z User Workshop 1994: 108-119 | |
| 1992 | ||
| 3 | Elspeth Cusack, Clazien D. Wezeman: Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195 | |
| 1990 | ||
| 2 | Clazien D. Wezeman, S. Batley, J. Lynch: Formal Methods to Assist Conformance Testing. A Case Study. FORTE 1990: 157-174 | |
| 1989 | ||
| 1 | Clazien D. Wezeman: The CO-OP Method for Compositional Derivation of Conformance Testers. PSTV 1989: 145-158 | |
| 1 | S. Batley | [2] |
| 2 | Elizabeth Burd (Liz Burd) | [5] [6] |
| 3 | Elspeth Cusack | [3] |
| 4 | Anthony J. Judge | [4] |
| 5 | J. Lynch | [2] |
| 6 | Malcolm Munro | [5] [6] |