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