Completeness of Hoare Logic Relative to the Standard Model.

Zhaowei Xu, Wenhui Zhang, Yuefei Sui

Browse the full SOFSEM paper archive.