TY  - BOOK
AU  - Berg,Helmut K.
TI  - Formal methods of program verification and specification
PY  - 1982///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Computer programs
KW  - Verification
KW  - Specifications
N1  - Includes bibliographical references and index
ER  -