Trifanov Vitalii Yur'evich

Publications in Math-Net.Ru

1. Applying synchronization contracts approach for dynamic detection of data races in industrial applications
   
   Proceedings of ISP RAS, 30:3 (2018),  47–62
2. Data race detection in Java programs using synchronization contracts
   
   Sistemy i Sredstva Inform., 24:2 (2014),  114–130