Kryvolap, Andrii, Olena Shyshatska, and Nataliia Rusina. 2026. “Frame Rule in Monotone Floyd – Hoare Logic Extension”. Bulletin of Taras Shevchenko National University of Kyiv. Physics and Mathematics 82 (1): 218-24. https://doi.org/10.17721/1812-5409.2026/1.29.