КОСТИРКО, ВАСИЛЬ, ГАННА АНІЛОВСЬКА, і ВАСИЛЬ ПЛЕША. «ПРОЄКТУВАННЯ БІБЛІОТЕКИ ДЛЯ СПРОЩЕННЯ УМОВ ВЕРИФІКАЦІЇ ПРОГРАМ». Herald of Khmelnytskyi National University. Technical sciences 321, no. 3 (Червень 29, 2023): 273–279. дата звернення Січень 26, 2026. https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/751.