TY  - RPRT
TI  - Explaining Verification Conditions
AU  - Deney, Ewen
AU  - Fischer, Bernd
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20060022143
ID  - 20060022143
ER  -