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