Kechiktirilganlar
Savat
Mening kitoblarim
Kirish
Мгновения в пространстве. Сборник мини-рассказов
Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки