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