RUS
ENG
Full version
PEOPLE
Rudenchik Veronika Pavlovna
Publications in Math-Net.Ru
Predicate abstraction refinement in thread-modular analysis
Proceedings of ISP RAS
,
35
:3 (2023),
187–204
©
Steklov Math. Inst. of RAS
, 2024