Moroz, Olha. “Compilation-Semantic Verification of Time-Parameterized Multi-Parallel Programs for Information Management Systems”. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» 56 (December 26, 2022): 43-50. Accessed February 2, 2026. https://periodicals.karazin.ua/mia/article/view/27690.