TY  - BOOK
AU  - Coward, David
TI  - The Symbolic execution of software
SN  - 412583402
U1  - 005.1 
PY  - 1995///
CY  - Madras
PB  - Chapman and Hall
ER  -