Трифанов Виталий Юрьевич

Публикации в базе данных Math-Net.Ru

1. Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах
   
   Труды ИСП РАН, 30:3 (2018),  47–62
2. Обнаружение гонок в Java-программах с применением синхронизационных контрактов
   
   Системы и средства информ., 24:2 (2014),  114–130