TY  - BOOK
AU  -  Loeckx,Jacques .
TI  - Foundation of program verification / 
U1  - 005.14 
PY  - 1983///
CY  - New Jersey : 
PB  - John Wiley & Sons , 
KW  - Program verification
ER  -