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