Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, 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-06T21:35:1308T00:10:40.640032829950|vimeo_plays=105|youtube_plays=0}}

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