Muhammad, A.A.; Ayman, M.; Elhossany, S.A.; Medhat, W.; Selim, S.; Zayed, H.; Yousef, A.H.; Jantsch, A.; Elaraby, N.
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic. Technologies 2025, 13, 580.
https://doi.org/10.3390/technologies13120580
AMA Style
Muhammad AA, Ayman M, Elhossany SA, Medhat W, Selim S, Zayed H, Yousef AH, Jantsch A, Elaraby N.
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic. Technologies. 2025; 13(12):580.
https://doi.org/10.3390/technologies13120580
Chicago/Turabian Style
Muhammad, Ahmad Ahmad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch, and Nahla Elaraby.
2025. "Formal Verification of Transcompiled Mobile Applications Using First-Order Logic" Technologies 13, no. 12: 580.
https://doi.org/10.3390/technologies13120580
APA Style
Muhammad, A. A., Ayman, M., Elhossany, S. A., Medhat, W., Selim, S., Zayed, H., Yousef, A. H., Jantsch, A., & Elaraby, N.
(2025). Formal Verification of Transcompiled Mobile Applications Using First-Order Logic. Technologies, 13(12), 580.
https://doi.org/10.3390/technologies13120580