«Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм». Комп’ютерні науки та кібербезпека, no. 4 (Березень 26, 2017): 26–34. дата звернення Жовтень 24, 2026. https://periodicals.karazin.ua/cscs/article/view/8264.