Search Results - Nahla Elaraby

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking

    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
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: