«
0x1.tv
»
Докладчики
Категория:Никита Малышев
Материал из 0x1.tv
Версия от 15:14, 27 декабря 2019;
StasFomin
(
обсуждение
|
вклад
)
(Новая страница: «{{dokl}}»)
(разн.) ← Предыдущая |
Текущая версия
(
разн.
) |
Следующая →
(
разн.
)
«
0x1.tv
»
Докладчики
Ссылки сюда (3) →
Можно подписаться на новые доклады в категории
RSS/Atom
Страницы в категории «Никита Малышев»
Эта категория содержит единственную страницу.
Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019)
«
0x1.tv
»
Докладчики