МАЙКІВ І, ОСОЛІНСЬКИЙ О, БИКОВИЙ П, ФЕДОРОВИЧ В. ЗАСТОСУВАННЯ КОНЦЕПЦІЇ ОБ’ЄКТНО-ОРІЄНТОВАНОГО ПРОГРАМУВАННЯ, ДЛЯ ВЕРИФІКАЦІЇ HDL-ПРОЕКТІВ ЦИФРОВИХ СИСТЕМ. Herald of Khmelnytskyi National University. Technical sciences [Internet]. 2025 Dec. 11 [cited 2025 Dec. 16];359(6.1):201-9. Available from: https://heraldts.khmnu.edu.ua/index.php/heraldts/article/view/2287