20191114CN
Материал из 0x1.tv
Версия от 08:27, 7 декабря 2019; StasFomin (обсуждение | вклад) (Перенаправление на Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости (Илья Ножкин, SECR-2019))
Страница-перенаправление