Engineering Hoare Logic-Based Program Verification in K Framework | IEEE Conference Publication | IEEE Xplore