KOSTYRKO, V., ANILOVSKA, H., & PLESHA, V. (2023). DESIGNING A LIBRARY TO SIMPLIFY PROGRAM VERIFICATION CONDITIONS. Herald of Khmelnytskyi National University. Technical Sciences, 321(3), 273-279. https://doi.org/10.31891/2307-5732-2023-321-3-273-279