Hentenryck,Pascal Van <br/><br/>
Static analysis / 
Hentenryck,Pascal Van. 
 - 4th international sy 
 - Berlin:  Springer,  1997. 
 - x,411p;26cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540634681 
<br/><br/><label>Dewey Class. No.: </label>005.1 HEN