RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Степанов Сергей Витальевич
Публикации в базе данных Math-Net.Ru
Использование средств статической отладки для верификации программной среды ScopeShell
Выч. мет. программирование
,
10
:1 (2009),
22–33
©
МИАН
, 2024
