TY  - BOOK
AU  - Cousot,Radhia
AU  - Schmidt,David A.
ED  - International Static Analysis Symposium
TI  - Static analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings 
SN  - 3540617396
SN  - 03029743
AV  - QA76.6 S716 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
KW  - Programming languages (Electronic computers)
ER  -