Kryvolap, A.; Shyshatska, O.; Rusina, N. Frame Rule in Monotone Floyd – Hoare Logic Extension. BTSNUKPhM 2026, 82 (1), 218-224. https://doi.org/10.17721/1812-5409.2026/1.29.