Tolstoluzka O, Tolstoluzkiy D, Moroz O. Сompilations method and semantic verification time parameterized of multiparallel programs. CS&CS E-journal [Internet]. 2017Mar.26 [cited 2024Nov.21];0(4):26-4. Available from: https://periodicals.karazin.ua/cscs/article/view/8264