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. https://doi.org/10.31891/2307-5732-2023-321-3-273-279.