Completeness of Hoare logic with inputs over the standard model

Zhaowei Xu, Yuefei Sui, Wenhui Zhang. Completeness of Hoare logic with inputs over the standard model. Theoretical Computer Science, 612:23-28, 2016. [doi]

Abstract

Abstract is missing.