Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Никита Малышев}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} {{youtubelink|}}{{letscomment}} {…») |
(нет различий)
|
Версия 05:45, 26 декабря 2019
- Докладчик
- Никита Малышев
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
!.jpg){kind=link}