TY  - BOOK
AU  - Coward, David
AU  - Darrel Ince
TI  - Symbolic Execution Of Software
PB  - PEARSON EDUCATION
KW  - Computer Science
KW  - object-oriented
ER  -