Tolstoluzka, Olena, Dmitriy Tolstoluzkiy, and Olga Moroz. “Сompilations Method and Semantic Verification Time Parameterized of Multiparallel Programs”. Computer Science and Cybersecurity0, no. 4 (March 26, 2017): 26-34. Accessed November 21, 2024. https://periodicals.karazin.ua/cscs/article/view/8264.