3rd Intl. Symp., SAS'96, Aachen, Germany, Sept 24-26, 1996 <br/><br/>
Static analysis - Proceedings 
ed. by Radhia Cousot and David A Schmidt 
 - New York  Springer-Verlag  1996 
 - ix, 388p. 
 - Lecture Notes in computer science  V.1145 .
<br/><br/><label>ISBN: </label>3540617396 
<br/><br/><label>Dewey Class. No.: </label>005.13  / N96