Coward, David <br/><br/>
The Symbolic execution of software 
David Coward and Darrel Ince. 
 - Madras  Chapman and Hall  1995 
 - vi, 155p. 
 - (Computer science: research and practice). .
<br/><br/><label>ISBN: </label>412583402 
<br/><br/><label>Dewey Class. No.: </label>005.1  / C67S