Аналіз існуючих технологій верифікації паралельних програм. МІА [інтернет]. 23, Червень 2020 [цит. за 25, Жовтень 2026];46:76-81. доступний у: https://periodicals.karazin.ua/mia/article/view/16275