Обнаружение состояний гонки в Java-программах на основе синхронизационных контрактов. Computer Tools in Education [Internet]. 2014 Jan. 23 [cited 2026 Sep. 8];(4). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1313