RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Ковалев Виктор Васильевич
Публикации в базе данных Math-Net.Ru
Верификация программ на основе соотношений подобия
Тр. СПИИРАН
,
38
(2015),
233–245
©
МИАН
, 2024
