TY  - BOOK
AU  - Beckert, Bernhard, Ed.
AU  - Hahnle, Reiner
AU  - Schmitt, Peter H.
TI  - Verification of object oriented software: The key approach
SN  - 9783540689775
CY  - Berlin
ER  -