Natarajan Shankar. Formalizing Hoare Logic in PVS. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Volume 11174 of Lecture Notes in Computer Science, pages 89-114, Springer, 2017. [doi]
Abstract is missing.