Назад
Шилов Н.В.
Воронцов А.
Основанное на равенствах исчисление алиасов для итеративных программ с динамической памятью
Докладчик:
Шилов Н.В.
К списку докладов