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

;{{SpeakerInfo}}: {{Speaker|Никита Малышев}}
<blockquote>
</blockquote>

{{VideoSection}}

{{vimeoembed||800|450}}
{{youtubelink|}}{{letscomment}}

{{SlidesSection}}
[[File:Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019)!.jpg}}|center|640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2019]]
[[Категория:Draft]]