Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм. CS&CS E-journal [інтернет]. 26, Березень 2017 [цит. за 24, Жовтень 2026];(4):26-34. доступний у: https://periodicals.karazin.ua/cscs/article/view/8264