Журналы
Разделы книг
Статьи по ключевому слову программа-верификатор
В. Ф. Филаретов
д. т. н., проф, зав. лаб., Институт автоматики и процессов управления ДВО РАН
Д. А. Юхимец
к. т. н., ст. научн. сотрудник, Институт автоматики и процессов управления ДВО РАН
Э. Ш. Мурсалимов
аспирант, Институт автоматики и процессов управления ДВО РАН