Мороз, О., & Толстолузька, О. (2021). Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса. Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління», 52, 52-70. https://doi.org/10.26565/2304-6201-2021-52-07