Программирование2013Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонкиН. В. Заборовский
Программирование2013Статическое обнаружение гонок в коде, содержащем ветвления и циклыН. В. Заборовский
