Просмотр собрания по группе - Авторы Куликов Егор Константинович
Результаты 1 по 3 из 3
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2023 | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | Григорьев Савелий Алексеевич; Grigorev Savelij Alekseevic | |
2023 | Design and implementation of the universal symbolic virtual machine | Поспелов Сергей Андреевич; Pospelov Sergej Andreevic | |
2016 | Determination of entities in forensic analysis of digital data sources | Куликов Егор Константинович; Kulikov Egor |