KOSTYRKO, V. et al. 2023. DESIGNING A LIBRARY TO SIMPLIFY PROGRAM VERIFICATION CONDITIONS. Herald of Khmelnytskyi National University. Technical sciences. 321, 3 (Jun. 2023), 273–279. DOI:https://doi.org/10.31891/2307-5732-2023-321-3-273-279.