Шилов Н.В.   Воронцов А.  

Основанное на равенствах исчисление алиасов для итеративных программ с динамической памятью

Докладчик: Шилов Н.В.