Салапатов, В. І.Salapatov, V. I.2016-07-012016-07-012014Салапатов В. І. Моделювання, верифікація та розробка програм / Салапатов В. І. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2014. – Вип. 61. – С. 174–177. – Бібліогр.: 2 назви.https://ela.kpi.ua/handle/123456789/16780ukМоделювання, верифікація та розробка програмModelling, verification and development programArticleС. 174-177004.415.2.043