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