Login / Signup
Konstantin Batoev
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Open Source
Automatic Programming
Information Technology
Top Venues
CoRR
</>
Publications
</>
Yurii Kostyukov
,
Konstantin Batoev
,
Dmitry Mordvinov
,
Michael Kostitsyn
,
Aleksandr Misonizhnik
Automatic verification of heap-manipulating programs.
CoRR
(2019)