TY  - SER
AU  - Paul, Christopher
AU  - Coleman, Derek
AU  - Galilmore, Robin M.
TI  -  Formal Specification and Design Time Testing
KW  - Abstract Data Type
KW  - Design Verification
KW  - Dynamic Testing
ER  -