МАЙКІВ, ІГОР, ОЛЕКСАНДР ОСОЛІНСЬКИЙ, ПАВЛО БИКОВИЙ, and ВІКТОР ФЕДОРОВИЧ. 2025. “ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ”. Herald of Khmelnytskyi National University. Technical Sciences 359 (6.1): 201-9. https://doi.org/10.31891/.