Search Results - Hala Zayed
Hala Zayed

- Showing 1 - 1 results of 1
-
1
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking by Amira T. Mahmoud, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Nahla Elaraby
Published 2025-04-01
Article