TY  - BOOK
AU  - Nielson,Flemming,d
TI  - Principles of program analysis 
SN  - 9783540654100
AV  - QA76.6 .N537 2005
CY  - Berlin ; New York 
PB  - Springer, c
KW  - Software
KW  - Anlyze
ER  -