Return to Issue Details Обнаружение состояний гонки в Java-программах на основе синхронизационных контрактов Download Download PDF