3
Publications
106
Citations
3
H-Index
2014
Active since
Tao Zan is an author at National Institute of Informatics specializing in software engineering, engineering, and computer science.
Top concepts
EngineeringComputer ScienceSoftware EngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2014–2016
3
3
Hugo Pacheco, Tao Zan, Zhenjiang Hu · 2014 · 33 citations · Full text
Rows per page
1–3 of 3