Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Н. Заборовский
А. Г. Тормасов
Обложка: