Kryvolap A, Shyshatska O, Rusina N. Frame rule in monotone Floyd – Hoare logic extension. BTSNUKPhM. 2026;82(1):218-224. doi:10.17721/1812-5409.2026/1.29