TY  - BOOK
AU  - Huang
TI  - Path-Oriented Program Analysis
SN  - 9780521882866
U1  - 005.72 
PY  - 2008///
PB  - Cambridge
KW  - Maths
ER  -