TY  - RPRT
TI  - On Completeness Results of Hoare Logic Relative to the Standard Model
AU  - Zhaowei Xu
AU  - Wenhui Zhang
AU  - Yuefei Sui
PY  - 2017
UR  - https://arxiv.org/abs/1703.00237
ID  - 1703.00237
ER  -