КОСТИРКО, ВАСИЛЬ, et al. “ПРОЄКТУВАННЯ БІБЛІОТЕКИ ДЛЯ СПРОЩЕННЯ УМОВ ВЕРИФІКАЦІЇ ПРОГРАМ”. Herald of Khmelnytskyi National University. Technical Sciences, vol. 321, no. 3, June 2023, pp. 273-9, https://doi.org/10.31891/2307-5732-2023-321-3-273-279.