TY  - BOOK
AU  - Berg,H.K.
AU  - Giloi,W.K.
ED  - Gesellschaft fur Informatik (GI)
TI  - The Use of Formal Specification of Software
SN  - 3-540-10442-9 (New York)
PY  - 1980///
CY  - Berlin
PB  - Springer
KW  - The Use of Formal Specification of Software
N1  - Literatur
ER  -