Login / Signup
Aleksei Babushkin
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Search Computing
Multi Disciplinary
Execution Engine
Top Venues
FASE
</>
Publications
</>
Aleksandr Misonizhnik
,
Sergey Morozov
,
Yurii Kostyukov
,
Vladislav Kalugin
,
Aleksei Babushkin
,
Dmitry Mordvinov
,
Dmitry Ivanov
KLEEF: Symbolic Execution Engine (Competition Contribution).
FASE
(2024)