TY  - RPRT
TI  - Automatic verification of heap-manipulating programs
AU  - Yurii Kostyukov
AU  - Konstantin Batoev
AU  - Dmitry Mordvinov
AU  - Michael Kostitsyn
AU  - Aleksandr Misonizhnik
PY  - 2019
UR  - https://arxiv.org/abs/1906.10204
ID  - 1906.10204
ER  -