TY  - RPRT
TI  - Completeness of Hoare Logic over Nonstandard Models
AU  - Zhaowei Xu
AU  - Yuefei Sui
AU  - Wenhui Zhang
PY  - 2017
UR  - https://arxiv.org/abs/1703.00240
ID  - 1703.00240
ER  -