H. Gomaa is an author at George Mason University specializing in formal methods, software engineering, and system software.
Top concepts
DesignEngineeringData ModelingFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1