Требуется авторизация
Материал из 0x1.tv
Вы должны представиться для изменения страниц.
Возврат к странице Файл:Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019)!.jpg.