| |
| 1995 | ||
|---|---|---|
| 2 | 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 | |
| 1989 | ||
| 1 | Tony Bryant: Better Professionals for the Tools. IFIP Congress 1989: 419-425 | |
| 1 | Andy Evans | [2] |
| 2 | Rajko Milovanovic | [2] |
| 3 | Mark Norris | [2] |
| 4 | Clive Selley | [2] |
| 5 | Lesley Semmens | [2] |
| 6 | Sinclair Guillaume Stockman | [2] |