Kyeongmin Cho is an author at Seoul National University specializing in formal verification, system software, and computer engineering.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceHardware SecuritySoftware AnalysisParallel ComputingFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1