TY  - BOOK
AU  - Schumann, Johann M
TI  - Automated theorem proving in software engineering
SN  - 3540679898
U1  - 005.1 SCH 
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
ER  -