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