Naling Zhang is an author at Virginia Tech specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationApproximation TheoryComputer Engineering
Publications per year
2015–2015
2
2
Rows per page
1–2 of 2