Информатика, вычислительная техника и управление. Диссертация Статический анализ гонок в программах на разделяемой памяти : диссертация ... кандидата физико-математических наук : 05.13.18, Москва, 2010