Kryvolap A, Shyshatska O, Rusina N. Frame rule in monotone Floyd – Hoare logic extension. BTSNUKPhM [Internet]. 2026 Jun. 5 [cited 2026 Oct. 10];82(1):218-24. Available from: https://bphm.knu.ua/bphm/article/view/555