Цитирование APA (7-е изд.)
Ahmad, M. A., Mahitap, A., Elhossany, S. A., Walaa, M., Sahar, S., Hala, Z., . . . Nahla, E. (2025). Formal Verification of Transcompiled Mobile Applications Using First-Order Logic. Technologies. https://doi.org/10.3390/technologies13120580
Цитирование в стиле Чикаго (17-е изд.)
Ahmad, Muhammad Ahmad, Ayman Mahitap, Samer A. Elhossany, Medhat Walaa, Selim Sahar, Zayed Hala, Ahmed H. Yousef, Jantsch Axel, и Elaraby Nahla. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies 2025. https://doi.org/10.3390/technologies13120580.
Цитирование MLA (9-е изд.)
Ahmad, Muhammad Ahmad, et al. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies, 2025, https://doi.org/10.3390/technologies13120580.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.