Хаханов, В. И.Каминская, М. А.Зайченко, С. А.2018-06-052018-06-052007Хаханов В. И. Верификация цифровых устройств на основе использования анализа тестопригодности и ассерционных библиотек / В. И. Хаханов, М. А. Каминская, С. А. Зайченко // Автоматизированные системы управления и приборы автоматики – 2007. – № 140. – С. 75-83http://openarchive.nure.ua/handle/document/5830ruArticle