Moroz O, Tolstoluzka O. Using the methods of formal synthesis and verification of parallel time-parameterized models for solving the system of linear equations by Gaussian elimination. МІА [Internet]. 2021Nov.29 [cited 2024Nov.22];52:52-0. Available from: https://periodicals.karazin.ua/mia/article/view/21417