1
Publications
138
Citations
1
H-Index
1970
Active since
Affiliations
National Institutes of Health(Current)
R.C.T. Lee is an author at National Institutes of Health specializing in program analysis, formal verification, and computational complexity.
Top concepts
Data MiningEngineeringFormal MethodsComputer ScienceProgram AnalysisCircuit ComplexityAutomated ReasoningFormal VerificationComputational Complexity
Publications per year
1970–1970
1
1
Rows per page
1–1 of 1