Kornilowicz, et al.. An Approach to Formalization of an Extension of Floyd-hoare Logic. 2017.