Pengwei Lan is an author at Nanjing University specializing in software analysis, formal verification, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceMalware AnalysisProgram AnalysisSoftware SystemsSoftware TestingSoftware AnalysisSoftware SecurityFormal Verification
Publications per year
2016–2016
1
1
Rows per page
1–1 of 1