Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков [2017]

Автор: Булгаков Андрей Вадимович

Руководитель: Терехов Андрей Николаевич

Направление: Математическое обеспечение и администрирование информационных систем (бакалавриат)

К архиву практик и ВКР