МАЙКІВ, ІГОР; ОСОЛІНСЬКИЙ, ОЛЕКСАНДР; БИКОВИЙ, ПАВЛО; ФЕДОРОВИЧ, ВІКТОР. ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ. Herald of Khmelnytskyi National University. Technical sciences, [S. l.], v. 359, n. 6.1, p. 201–209, 2025. DOI: 10.31891/. Disponível em: https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/2287. Acesso em: 16 dec. 2025.