Wonho Shin is an author at Imperial College London specializing in system software, formal specification, and computer science.
Top concepts
CompilersEngineeringSemantic WebVerificationFormal MethodsSystem SoftwareTest GenerationComputer ScienceProgram AnalysisSoftware Systems
Publications per year
2024–2024
1
1
Rows per page
1–1 of 1