TY  - BOOK
AU  - Le Charlier,Baudouin
ED  - International Static Analysis Symposium
TI  - Static analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings 
SN  - 3540584854
AV  - QA76.6 I5733 1994
PY  - 1994///
CY  - Berlin
PB  - Springer-Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
KW  - Programming languages (Electronic computers)
ER  -