RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Волков Антон Романович
Публикации в базе данных Math-Net.Ru
Predicate abstractions memory modeling method with separation into disjoint regions
Труды ИСП РАН
,
29
:4 (2017),
203–216
©
МИАН
, 2024