Static analysis :  Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / 
 SAS' 96 
Radhia Cousot and David A. Schmidt, eds. 
 - Berlin :  Springer,  1996 
 - 388 p. 
 - Lecture notes in computer science ;  v. 1145 .
<br/><br/><label>ISBN: </label>3540617396 
<br/><br/><label>ISSN: </label>03029743 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming--Congresses<br/>Programming languages (Electronic computers)--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.6  / S716 1996