1
Publications
13
Citations
1
H-Index
2002
Active since
Affiliations
K. S. Oh is an author at Seoul National University of Science and Technology specializing in engineering, system software, and formal verification.
Top concepts
EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecurityFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2002–2002
1
1
Rows per page
1–1 of 1