TY  - BOOK
AU  - 3rd Intl. Symp., SAS'96, Aachen, Germany, Sept 24-26, 1996
AU  - Cousot, Radhia., ed.
AU  - Schmidt, David A., ed.
TI  - Static analysis - Proceedings
T2  - Lecture Notes in computer science
SN  - 3540617396
U1  - 005.13 
PY  - 1996///
CY  - New York
PB  - Springer-Verlag
ER  -