Achievements 2
Points: 67Наука 67
Публикация в сборнике трудов ИСП РАН о практической абстрактной интерпретации
Критерий 8б. Публикация, Несколько авторов, Всероссийский уровень [8б-всерос]
Ссылка на статью: https://doi.org/10.15514/ISPRAS-2020-32(6)-8
Доклад на Ломоносовских чтениях: Построение предиката пути как задача абстрактной интерпретации бинарного кода. Доклад ст. преп. Соловьева М. А., асп. 2 г/о Манушина Д. В., студ. 4 курса Папазьяна Е. Ю., студ. 3 курса Макарова С. С.
Критерий 8б. Публикация, Несколько авторов, Публикация в сборниках при конференциях или сборниках тезисов [8б-сборник]
Тезисы доклада находятся в приложенном файле на с. 139
Education
University
Lomonosov Moscow State University
Faculty
Faculty of Computational Mathematics and Cybernetics
Department
Кафедра системного программирования
City
Россия, Москва
Mode of study
Full-time
Status
Student (bachelor)
Graduation year
2021