Н. В. Заборовский Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки Подробнее
