Tolstoluzka, O., Tolstoluzkiy, D. and Moroz, O. (2017) “Сompilations method and semantic verification time parameterized of multiparallel programs”, Computer Science and Cybersecurity, 0(4), pp. 26-34. Available at: https://periodicals.karazin.ua/cscs/article/view/8264 (Accessed: 21November2024).