Moroz O. Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems. МІА [Internet]. 2022Dec.26 [cited 2026Feb.2];56:43-0. Available from: https://periodicals.karazin.ua/mia/article/view/27690