TY  - BOOK
AU  - Huang, J. C
TI  - Path-oriented program analysis
SN  - 9780521882866
SN  - 200702640
U1  - 005.1 HUA 
PY  - 2008///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computer software - Development
KW  - Computer software - Development - Computer programs
N1  - Includes bibliographical references (p. 191-193) and index
ER  -