Автоматизация отладки программ на основе операционного описания их поведения Бочков, Сергей Олегович ВАК РФ 05.13.11 Стр. 1 из 16