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