Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019)

Материал из 0x1.tv

Версия от 05:45, 26 декабря 2019; StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Никита Малышев}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} {{youtubelink|}}{{letscomment}} {…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Короткая ссылка: 20191205AF
Докладчик
Никита Малышев.jpg
Никита Малышев

Видео

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Презентация

300px
640px

Примечания и ссылки

Источник — «https://0x1.tv/index.php?title=Применение_SMT-солверов_в_статическом_и_динамическом_символьном_выполнении_—_экспериментальное_исследование_(Никита_Малышев,_ISPRASOPEN-2019)&oldid=128364»