Static analysis :  4th International Symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings / 
 SAS '97 
Pascal van Hentenryck, ed. 
 - Berlin :  Springer,  1997 
 - 412 p. 
 - Lecture notes in computer science ;  v. 1302 .
<br/><br/><label>ISBN: </label>3540634681 
<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 1997