Информатика, вычислительная техника и управление. Диссертация Верификация автоматных программ : диссертация ... кандидата технических наук : 05.13.11 / Лукин Михаил Андреевич; [Место защиты: С.-Петерб. нац. исслед. ун-т информац. технологий, механики и оптики], Санкт-Петербург, 2014