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

МИЛЕНИН И.А., ИЦЫКСОН В.М. Автоматизация портирования Android-приложений в экосистему HarmonyOS NEXT с использованием формальных спецификаций. Труды Института системного программирования РАН. 2026;38(3):83-100. https://doi.org/10.15514/ISPRAS-2026-38(3)-48

For citation:

MILENIN I.A., ITSYKSON V.M. Automation of Porting Android Applications to the HarmonyOS NEXT Ecosystem Using Formal Specifications. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(3):83-100. (In Russ.) https://doi.org/10.15514/ISPRAS-2026-38(3)-48