Пустоваров, В. І.2013-12-062013-12-062007Пустоваров В. І. Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2007. – № 47. – С. 269–279. – Бібліогр.: 7 назв.https://ela.kpi.ua/handle/123456789/6317ukСупроводження контролю відповідності програм і моделей формальним специфікаціям задачArticleС. 269-279681.3.06