Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса. МІА. 2021;52:52-70. doi:10.26565/2304-6201-2021-52-07