Перченок, О. В.; Клионский, Д. М. Автоматизация верификации решения задач в области цифровой обработки сигналов. CTE 2014.