Huang, J. C. <br/><br/>
Path-Oriented Program Analysis 

 - Cambridge  Cambridge University Press  2008 
 - xii, 196p. 
<br/><br/><label>ISBN: </label>978-0-521-88286-6