TY  - GEN
AU  - Gehani, Narain ; McGettrick, Andrew eds.
TI  - Software specification techniques
SN  - 0201142309
PY  - 1986///
CY  - Wokingham
PB  - Addison-Wesley
KW  - SOFTWARE ENGINEERING
KW  - COMPUTER SOFTWARE - Specifications
ER  -