Static analysis :  First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / 
Baudouin le Charlier (ed.) 
 - Berlin :  Springer-Verlag,  1994 
 - 463 p. 
 - Lecture notes in computer science ;  no. 864 .
<br/><br/><label>ISBN: </label>3540584854 
<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  / I5733 1994