Hala Ibrahim is an author at Benha University specializing in computer science, software verification, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceHardware SystemsProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisDesign For Testing
Publications per year
2006–2019
2
2
Rows per page
1–2 of 2