TY  - BOOK
AU  - Loeckx, Jacques
AU  - Sieber, Kurt
TI  - Foundations of program verification [2nd ed.]
U1  - 001.6424 
PY  - 1987///
CY  - Chichester, New York
PB  - John Wiley
KW  - Computer Programs -- Verification
ER  -