Мороз О. Технологія семантико-числової верифікації часопараметризованих паралельних програм для інформаційних і управляючих систем. МІА [інтернет]. 31, Жовтень 2022 [цит. за 14, Грудень 2025];55:32-7. доступний у: https://periodicals.karazin.ua/mia/article/view/22592