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