Zhaowei Xu, Wenhui Zhang, Yuefei Sui. Completeness of Hoare Logic Relative to the Standard Model. In Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria, editors, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Volume 10139 of Lecture Notes in Computer Science, pages 119-131, Springer, 2017. [doi]
Abstract is missing.