КОСТИРКО В, АНІЛОВСЬКА Г, ПЛЕША В. ПРОЄКТУВАННЯ БІБЛІОТЕКИ ДЛЯ СПРОЩЕННЯ УМОВ ВЕРИФІКАЦІЇ ПРОГРАМ. Herald of Khmelnytskyi National University. Technical sciences [Internet]. 2023 Jun. 29 [cited 2025 Apr. 4];321(3):273-9. Available from: https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/751