[email protected]
Название: Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки
Автор: Н. В. Заборовский
Серия: Прикладная информатика. Научные статьи
Жанр: Математика
Название: Статическое обнаружение гонок в коде, содержащем ветвления и циклы
