RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Руденчик Вероника Павловна
Публикации в базе данных Math-Net.Ru
Predicate abstraction refinement in thread-modular analysis
Труды ИСП РАН
,
35
:3 (2023),
187–204
©
МИАН
, 2024