| |
| 1995 | ||
|---|---|---|
| 1 | 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 | |
| 1 | Tony Bryant | [1] |
| 2 | Andy Evans | [1] |
| 3 | Mark Norris | [1] |
| 4 | Clive Selley | [1] |
| 5 | Lesley Semmens | [1] |
| 6 | Sinclair Guillaume Stockman | [1] |