1
Publications
11
Citations
1
H-Index
2000
Active since
Affiliations
Heewon Lee is an author at Korea Advanced Institute of Science and Technology specializing in system software, formal verification, and software maintenance.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationFormal SpecificationSoftware Engineering
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1