20191205AF
Материал из 0x1.tv
Страница-перенаправление
Перенаправление на:
Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019)