APA-viite (7. p.)
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-viite (17. p.)
Ahmad, Muhammad Ahmad, Ayman Mahitap, Samer A. Elhossany, Medhat Walaa, Selim Sahar, Zayed Hala, Ahmed H. Yousef, Jantsch Axel, ja Elaraby Nahla. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies 2025. https://doi.org/10.3390/technologies13120580.
MLA-viite (9. p.)
Ahmad, Muhammad Ahmad, et al. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies, 2025, https://doi.org/10.3390/technologies13120580.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.