RUS
ENG
Full version
PEOPLE
Volkov Anton Romanovich
Publications in Math-Net.Ru
Predicate abstractions memory modeling method with separation into disjoint regions
Proceedings of ISP RAS
,
29
:4 (2017),
203–216
©
Steklov Math. Inst. of RAS
, 2024