TY  - BOOK
AU  - Francez,Nissim
TI  - Program verification
SN  - 0201416085 (cased)
PY  - 1992///
CY  - Wokingham, England
PB  - Addison-Wesley
KW  - Computer software
KW  - Verification
N1  - Includes index; Includes bibliographical references.
ER  -