TY  - SER
AU  - Neil, M.
AU  - Ostrolenk, Gary
AU  - Southworth, Mark
TI  - Lessons from Using Z to Specify a Software Tool
KW  -  Formal Methods
KW  - Statistical Techniques
KW  - Fault Dignosis
ER  -