APA (7th ed.) Citation

Muhammad, A. A., Ayman, M., Elhossany, S. A., Medhat, W., Selim, S., Zayed, H., . . . Elaraby, N. (2025). Formal Verification of Transcompiled Mobile Applications Using First-Order Logic. Technologies (2227-7080), 13(12), 580-598. https://doi.org/10.3390/technologies13120580

Chicago Style (17th ed.) Citation

Muhammad, Ahmad Ahmad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch, and Nahla Elaraby. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies (2227-7080) 13, no. 12 (2025): 580-598. https://doi.org/10.3390/technologies13120580.

MLA (9th ed.) Citation

Muhammad, Ahmad Ahmad, et al. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic." Technologies (2227-7080), vol. 13, no. 12, 2025, pp. 580-598, https://doi.org/10.3390/technologies13120580.