Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса. МІА [інтернет]. 29, Листопад 2021 [цит. за 24, Жовтень 2026];52:52-70. доступний у: https://periodicals.karazin.ua/mia/article/view/21417