TY  - BOOK
AU  - Nielson, Flemming
AU  - Nielson, Hanne R.
AU  - Hankin, Chris
TI  - Principles of program analysis
SN  - 9783540654100
U1  - 005.30287 
PY  - 2005///
CY  - Berlin Heidelberg
PB  - Springer
ER  -