1
Publications
20
Citations
1
H-Index
2010
Active since
Affiliations
Qingtan Wang - is an author at China University of Mining and Technology specializing in software engineering, program analysis, and formal verification.
Top concepts
EngineeringFormal MethodsSoftware DesignStatic AnalysisComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1