2
Publications
99
Citations
2
H-Index
2011
Active since
Tsung-Huan Cheng is an author at National Taiwan University of Science and Technology specializing in formal verification, engineering, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware AnalysisFormal VerificationCryptographyFlow ControlData SecurityNetwork SecurityProgram AnalysisSoftware Testing
Publications per year
2011–2012
2
2
Rows per page
1–2 of 2