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