Tohutoro APA (7th ed.)
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
Tohutoru Kātū Chicago (17th ed.)
Ahmad, Muhammad Ahmad, Ayman Mahitap, Samer A. Elhossany, Medhat Walaa, Selim Sahar, Zayed Hala, Ahmed H. Yousef, Jantsch Axel, me Elaraby Nahla. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies 2025. https://doi.org/10.3390/technologies13120580.
Tohutoro MLA (9th ed.)
Ahmad, Muhammad Ahmad, et al. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies, 2025, https://doi.org/10.3390/technologies13120580.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.