Moroz, Olha. “Тechnology of Semantic-Numerical Verification of Time-Parameterized Parallel Programs for Information and Control Systems”. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» 55 (October 31, 2022): 32-37. Accessed December 20, 2024. https://periodicals.karazin.ua/mia/article/view/22592.