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] |