Applications of formal methods / 
/ edited by Michael G. Hinchey and Jonathan P. Bowen. 
 - London  ; New York :  : Prentice Hall,  1995. 
 - xvii, 447 p. :  : ill. ;  ; 25 cm. 
 - Prentice-Hall International series in computer science. .
<br/><br/>Includes bibliographical references (p. 421-437) and index. 
<br/><br/><label>ISBN: </label>0133669491 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design.<br/>Computer software--Development.
<br/><br/><label>Dewey Class. No.: </label>005.131 APP 1995