1. DSpace at Saint Petersburg State University

Просмотр собрания по группе - Авторы Kulikov Egor Konstantinovic

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 2 из 2
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2023Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machineГригорьев Савелий Алексеевич; Grigorev Savelij Alekseevic
2023Design and implementation of the universal symbolic virtual machineПоспелов Сергей Андреевич; Pospelov Sergej Andreevic
Результаты 1 по 2 из 2