Hae Sang Lee is an author at Seoul National University specializing in formal methods, computational complexity, and system reliability.
Top concepts
EngineeringProbabilityReliabilityFormal MethodsComputer ScienceProgram AnalysisSoftware TestingCircuit ComplexitySystem ReliabilityFormal Verification
Publications per year
1997–1997
1
1
Rows per page
1–1 of 1