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