IEEE <br/><br/>
Compass ' 94 :   Proceedings of the Ninth Annual Conference on Computer Assurance 1994 / 

 - Piscataway  IEEE Service Center  1994 
 - 269p 
<br/><br/>Safety 1 (Page-1), Use and Assessment of Formal Methods (Page -27), Alternatives to Formal Verification (Page -67), Fault Tolerance (Page- 91), Concurrency and Real-Time Systems (Page -121),Software Test ability for Critical Systems (Page -163). 
<br/><br/><label>ISBN: </label>0780318552 
<br/><br/><label>Dewey Class. No.: </label>004,PRO