Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019) — различия между версиями

[[File:Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019)!.jpg}}|center|640px]]
{{LinksSection}}
* [https://2019.secrus.org/program/submitted-presentations/state-of-the-art-in-automatic-program-analysis-research-and-development/ Talks page on SECR site]
<!-- <blockquote>[©]</blockquote> -->

<references/>





<!-- topub -->



{{stats|disqus_comments=0|refresh_time=2020-01-08T14:42:2322T18:17:28.532687009219|vimeo_plays=8|youtube_plays=0}}

[[Категория:SECR-2019]]
[[Категория:Верификация]]
[[Категория:Статический анализ кода]]
[[Категория:Динамический анализ]]