Nan Zhang

Researcher, Xi'an University of Electronic Science and Technology
Joined
May 2024

Names

Nan Zhang (Preferred)

Emails

****@xidian.edu.cn (Confirmed)

Personal Links

Career & Education History

Researcher
Xi'an University of Electronic Science and Technology (xidian.edu.cn)
2012 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Formal verification
Present

Publications

Co-Authors