1
Publications
52
Citations
1
H-Index
1996
Active since
Affiliations
University of Colorado Boulder(Current)
Woohyuk Lee is an author at University of Colorado Boulder specializing in automated reasoning, mathematical programming, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputational ComplexityMathematical Programming
Publications per year
1996–1996
1
1
Rows per page
1–1 of 1