МАЙКІВ, І. et al. 2025. ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ. Herald of Khmelnytskyi National University. Technical sciences. 359, 6.1 (Dec. 2025), 201–209. DOI:https://doi.org/10.31891/.