TY  - GEN
AU  - Loeckx, Jacques
AU  - Kurt, Sieber
AU  - Ryan, Stansifer D.
TI  - The foundations of program verification
SN  - 0471912824
U1  - 005.14 LOE 
PY  - 1987///
CY  - Stuttgart : B.G. Teubner
KW  - Computer programmes - verification
KW  - Program verification
N1  - Includes bibliographical references and index; Table of contents only
ER  -