Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

में बचाया:

ग्रंथसूची विवरण
में प्रकाशित:	Technologies vol. 13, no. 12 (2025), p. 580-599
मुख्य लेखक:	Muhammad Ahmad Ahmad
अन्य लेखक:	Mahitap, Ayman, Elhossany, Samer A, Walaa, Medhat, Selim Sahar, Zayed Hala, Yousef, Ahmed H, Jantsch Axel, Elaraby Nahla
प्रकाशित:	MDPI AG
विषय:	Behavior Software Similarity Java Programming languages Semantics Bias Verification Large language models Syntax Applications programs Logic Equivalence Axioms Mobile computing Codes Software reuse Evaluation Case studies Computer programming
ऑनलाइन पहुंच:	Citation/Abstract Full Text + Graphics Full Text - PDF
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

टिप्पणी देने वाले पहले व्यक्ति बनें!