arrow
返回
E

El Sewedy University of Technology

学者数5
论文数5
被引数0
关联论文 (5)
发表时间
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic基于一阶逻辑的转译移动应用程序形式化验证
err2025-12-11
err0
errOAAI
errAhmad Ahmad Muhammad; Mahitap Ayman; Samer A. Elhossany; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Axel Jantsch; Nahla Elaraby
err分享
err收藏
err分享
err收藏