TY  - BOOK
AU  - BERG,H.K (ED), GILOI,W.K (ED)
TI  - USE OF FORMAL SPECIFICATION OF SOFTWARE
SN  - NCST
U1  - 458 
PY  - 1979///
CY  - BERLIN
PB  - SV
ER  -