Dowon Song is an author at Korea University specializing in program analysis, software analysis, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningSoftware EngineeringVerificationFormal MethodsSoftware Design
Publications per year
2018–2021
3
3
Rows per page
1–3 of 3