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