TY  - BOOK
AU  - Le Charlier,Baudouin
ED  - SAS
TI  - Static analysis: proceedings
T2  - Lecture notes in computer science
SN  - 0387584854
AV  - QA76.6 
PY  - 1994///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Programming languages (Electronic computers)
KW  - Congresses
KW  - Programming (Electronic computers)
KW  - Computer programming
KW  - Konferenzschrift
KW  - 1994
KW  - Namur
KW  - gnd-content
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz041416295cov.jpg
UR  - https://zbmath.org/?q=an:0803.00022
ER  -