RUS
ENG
Full version
PEOPLE
Batoev Konstantin Alanovich
Publications in Math-Net.Ru
Automatic verification of heap-manipulating programs
Proceedings of ISP RAS
,
31
:5 (2019),
37–62
©
Steklov Math. Inst. of RAS
, 2024