Информатика, вычислительная техника и управление. Диссертация Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы : диссертация ... кандидата технических наук : 05.13.11, Тула, 2009