Neil, M. Ostrolenk, Gary Southworth, Mark <br/><br/>
Lessons from Using Z to Specify a Software Tool 

 - 15-23 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Methods<br/>Statistical Techniques<br/>Fault Dignosis