KOSTYRKO, V., ANILOVSKA, H. and PLESHA, V. (2023) “DESIGNING A LIBRARY TO SIMPLIFY PROGRAM VERIFICATION CONDITIONS”, Herald of Khmelnytskyi National University. Technical sciences, 321(3), pp. 273–279. doi:10.31891/2307-5732-2023-321-3-273-279.