МАЙКІВ, ІГОР, ОЛЕКСАНДР ОСОЛІНСЬКИЙ, ПАВЛО БИКОВИЙ, and ВІКТОР ФЕДОРОВИЧ. “ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ”. Herald of Khmelnytskyi National University. Technical sciences 359, no. 6.1 (December 11, 2025): 201–209. Accessed December 16, 2025. https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/2287.