TY  - BOOK
AU  - Nielson, Flemming
AU  - Nielson, Hanne
AU  - Hankin, Chris
TI  - Principles of program analysis
SN  - 3540654100
PY  - 1999///
CY  - Berlin
PB  - Springer
KW  - program analysis
ER  -