Proceedings of Ivannikov ISPRAS Open Conferenceсборник
Статьи, опубликованные в сборнике
-
-
-
-
-
-
-
-
2020
Sydr: Cutting Edge Dynamic Symbolic Execution
-
Vishnyakov Alexey,
Fedotov Andrey,
Kuts Daniil,
Novikov Alexander,
Parygina Darya,
Kobrin Eli,
Logunova Vlada,
Belecky Pavel,
Kurmangaleev Shamil
-
в сборнике Proceedings of Ivannikov ISPRAS Open Conference, место издания IEEE, с. 46-54
DOI
-