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