Композициональное символьное исполнение CIL-кода [2019]

Автор: Батоев Константин Аланович

Руководитель: Мордвинов Дмитрий Александрович

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

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