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