Для цитирования:

Иванников В.П., Вартанов С.П., Ермаков М.К. Автоматический поиск ошибок синхронизации в приложениях на платформе Android. Труды Института системного программирования РАН. 2013;24.

For citation:

Ivannikov V.P., Vartanov S.P., Ermakov M.K. Automatic concurrency defect detection for Android applications. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;24. (In Russ.)