[IEEE 2013 Tools & Methods of Program Analysis (TMPA) - Kostroma, Russia (2013.10.10-2013.10.12)] 2013 Tools & Methods of Program Analysis - Dynamic data race detection in Java-programs using synchronization contracts
Tsitelov, Dmitry, Trifanov, VitalyYear:
2013
Language:
english
DOI:
10.1109/tmpa.2013.7163714
File:
PDF, 198 KB
english, 2013