Hyeong-Yeol Kim is an author at Yonsei University specializing in software analysis, human-computer interaction, and computer science.
Top concepts
StatisticsEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisHuman-computer Interaction
Publications per year
2005–2005
1
1
Rows per page
1–1 of 1