Soon Hee Her is an author at Sookmyung Women's University specializing in program analysis, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignStatic AnalysisComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
2003–2003
1
1
Rows per page
1–1 of 1