Пустоваров, В. І.2013-11-272013-11-272008Пустоваров В. І.Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2008. – № 49. – С. 42–47. – Бібліогр.: 7 назв.https://ela.kpi.ua/handle/123456789/6112ukПобудова баз знань для сумісного створення програм і обладнання та їх формальної верифікаціїArticleС. 42-47681.3.06