TY  - GEN
AU  - Loeckx, Jacques
AU  - Sieber, Kurt
AU  - Stansifer, Ryan D.
TI  - The Foundations of program verification
SN  - 3519121018
PY  - 1984///
CY  - Stuttgart
PB  - Teubner
KW  - COMPUTER PROGRAMS-Verification
ER  -