Gihwon Kwon is an author at Kyonggi University specializing in verification, formal specification, and formal verification.
Top concepts
EngineeringVerificationData ModelingFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringFormal Specification
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1