Moroz, Olha Yuriivna, Olena Gennadiivna Tolstoluzka, and Roman Valeriyovich Savchenko. “Analysis of Existing Parallel Programs Verification Technologies”. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» 460 (June 23, 2020): 76-81. Accessed December 22, 2024. https://periodicals.karazin.ua/mia/article/view/16275.