| 1995 | ||
|---|---|---|
| 3 | Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark Norris, Clive Selley: Using Z to Rigorously Review a Specification of a Network Management System. ZUM 1995: 423-433 | |
| 1990 | ||
| 2 | Sinclair Guillaume Stockman, Alan Richard Todd, Gerald Anthony Robinson: A Framework for Software Quality Measurement. IEEE Journal on Selected Areas in Communications 8(2): 224-233 (1990) | |
| 1989 | ||
| 1 | M. T. Norris, Sinclair Guillaume Stockman: Industrialising Formal Methods for Telecommunications. ESEC 1989: 159-175 | |
| 1 | Tony Bryant | [3] |
| 2 | Andy Evans | [3] |
| 3 | Rajko Milovanovic | [3] |
| 4 | M. T. Norris | [1] |
| 5 | Mark Norris | [3] |
| 6 | Gerald Anthony Robinson | [2] |
| 7 | Clive Selley | [3] |
| 8 | Lesley Semmens | [3] |
| 9 | Alan Richard Todd | [2] |