Название: Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Автор: Н. В. Заборовский
Издательство: НОУ «МФПУ «Синергия»
Жанр: Математика
Серия: Прикладная информатика. Научные статьи
Название: Статическое обнаружение гонок в коде, содержащем ветвления и циклы
