RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Цителов Дмитрий Игоревич
Публикации в базе данных Math-Net.Ru
Обнаружение гонок в Java-программах с применением синхронизационных контрактов
Системы и средства информ.
,
24
:2 (2014),
114–130
©
МИАН
, 2024