1
Publications
17
Citations
1
H-Index
1999
Active since
Affiliations
National Cheng Kung University(Current)
Ming‐Yuhe Jang is an author at National Cheng Kung University specializing in formal specification, formal methods, and computer engineering.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystem-level Design
Publications per year
1999–1999
1
1
Rows per page
1–1 of 1