Workshop on the Assesment of Formal Methods for Trustworthy Computer Systems (1989 : Halifax, N. S.) <br/><br/>
Formal methods for trustworthy computer system (FM 89) :  report from FM 89- ... 23-27 July 1989, Halifax, Canada / 
Dan Craigen (editor) and Karen Summerskill (assistant editor) 
 - London :  British Computer Society,  1990 
 - 248 p. ;  24 cm. 
 - Workshops in computing .
<br/><br/><label>ISBN: </label>3540196358 
<br/><br/><label>LCCN: </label>90-010317 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Validation--Congresses<br/>Computer software--Verification--Congresses<br/>Computer software--Testing--Congresses