Proceedings of the 2020 Ivannikov Ispras Open Conferenceсборник
Статьи, опубликованные в сборнике
-
-
-
-
-
-
-
2021
Symbolic Security Predicates: Hunt Program Weaknesses
-
Vishnyakov Alexey,
Logunova Vlada,
Kobrin Eli,
Kuts Daniil,
Parygina Darya,
Fedotov Andrey
-
в сборнике Proceedings of the 2020 Ivannikov Ispras Open Conference, издательство IEEE Computer Society Press (Los Alamitos, CA, United States), тезисы, с. 76-85
DOI
-