Kryvolap, A., Shyshatska, O., & Rusina, N. (2026). Frame rule in monotone Floyd – Hoare logic extension. Bulletin of Taras Shevchenko National University of Kyiv. Physics and Mathematics, 82(1), 218-224. https://doi.org/10.17721/1812-5409.2026/1.29