|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
V. Yu. Trifanov, “Applying synchronization contracts approach for dynamic detection of data races in industrial applications”, Proceedings of ISP RAS, 30:3 (2018), 47–62   |
1
|
|
2014 |
| 2. |
D. Tsitelov, V. Trifanov, “Data race detection in Java programs using synchronization contracts”, Sistemy i Sredstva Inform., 24:2 (2014), 114–130 |
|
