Mahmoud, A.T.; Mohammed, A.A.; Ayman, M.; Medhat , W.; Selim , S.; Zayed, H.; Yousef, A.H.; Elaraby , N.
Formal Verification of Code Conversion: A Comprehensive Survey. Technologies 2024, 12, 244.
https://doi.org/10.3390/technologies12120244
AMA Style
Mahmoud AT, Mohammed AA, Ayman M, Medhat W, Selim S, Zayed H, Yousef AH, Elaraby N.
Formal Verification of Code Conversion: A Comprehensive Survey. Technologies. 2024; 12(12):244.
https://doi.org/10.3390/technologies12120244
Chicago/Turabian Style
Mahmoud, Amira T., Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, and Nahla Elaraby .
2024. "Formal Verification of Code Conversion: A Comprehensive Survey" Technologies 12, no. 12: 244.
https://doi.org/10.3390/technologies12120244
APA Style
Mahmoud, A. T., Mohammed, A. A., Ayman, M., Medhat , W., Selim , S., Zayed, H., Yousef, A. H., & Elaraby , N.
(2024). Formal Verification of Code Conversion: A Comprehensive Survey. Technologies, 12(12), 244.
https://doi.org/10.3390/technologies12120244