Kryvolap, Andrii, Olena Shyshatska, and Nataliia Rusina. “Frame Rule in Monotone Floyd – Hoare Logic Extension”. Bulletin of Taras Shevchenko National University of Kyiv. Physics and Mathematics 82, no. 1 (June 5, 2026): 218–224. Accessed October 10, 2026. https://bphm.knu.ua/bphm/article/view/555.