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

[[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> -->

{{vklink|1589}}                                          
<references/>





<!-- topub -->



{{stats|disqus_comments=0|refresh_time=2020-07-08T00:10:4019T00:33:56.829950931382|vimeo_plays=1056|youtube_plays=0}}

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