Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ - Ицыксон, Владимир Михайлович; Моисеев, Михаил Юрьевич; Цесько, Вадим Александрович; Захаров, Алексей Владимирович; Ахин, Марат Халимович (Информационно-управляющие системы, 2009)