TY  - BOOK
AU  - Coward, David
AU  - Darrel Ince
TI  - Symbolic Execution Of Software: Sym Bol System
PY  - 1995///
PB  - CHAPMAN & HALL
KW  - Computer Science
KW  - coward, david
KW  - darrel ince
KW  - Others
KW  - symbolic
ER  -