Tolstoluzka, O., Tolstoluzkiy, D. і Moroz, O. (2017) «Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм», Комп’ютерні науки та кібербезпека, 0(4), с. 26-34. доступний у: https://periodicals.karazin.ua/cscs/article/view/8264 (дата звернення: 1Травень2024).