System integrity, software safety, processes security, formal methods: Proceedings 

 - New Jersey  IEEE  1995 
 - ix,285p.  incl.bibl. 
<br/><br/><label>ISBN: </label>0780326814 
<br/><br/><label>Dewey Class. No.: </label>004  / N952"SERIES"