Coward, David <br/><br/>
Symbolic Execution Of Software 
Coward, David; Darrel Ince 
 - 2ND ED2001 
 -  PEARSON EDUCATION 
<br/><br/><label>ISBN: </label> INR 275.00 
<br/><br/><label>Standard No.: </label>35395  [Excel file from AVIT] 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>Subjects--Index Terms: </label>object-oriented