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