Zelkowitz, Marvin V <br/><br/>
Advances in computers  : vol 58 highly dependable software 
edited by Marvin V.Zelkowitz 
 - 1st ed 
 - Amsterdam  Elsevier / Academic Press  1997 
 - xv, 366 p.  28 cm. 
<br/><br/> Includes Index 
<br/><br/><label>ISBN: </label>0120121581 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science; Gui Testing; Software Security; Bounded Model Checking
<br/><br/><label>Dewey Class. No.: </label>004   / ZEL.58