APA-Zitierstil (7. Ausg.)
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
Chicago-Zitierstil (17. Ausg.)
Ahmad, Muhammad Ahmad, Ayman Mahitap, Samer A. Elhossany, Medhat Walaa, Selim Sahar, Zayed Hala, Ahmed H. Yousef, Jantsch Axel, und Elaraby Nahla. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies 2025. https://doi.org/10.3390/technologies13120580.
MLA-Zitierstil (9. Ausg.)
Ahmad, Muhammad Ahmad, et al. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies, 2025, https://doi.org/10.3390/technologies13120580.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.