TY  - BOOK
AU  - Static Analysis
TI  - Static analysis: third international symposium, sas '96 aachen, germany, september 24-26, 1996 proceedings
SN  - 3-540-61739-6
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Programming languages(Electronic Computers)
ER  -