Просмотр собрания по группе - Авторы Григорьев Савелий Алексеевич
Результаты 1 по 1 из 1
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2023 | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | Григорьев Савелий Алексеевич; Grigorev Savelij Alekseevic |