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