Nannan He, Ph.D.

Affiliations: 
2009 Virginia Polytechnic and State University, United States 
Area:
Computer Engineering
Google:
"Nannan He"

Parents

Sign in to add mentor
Michael S. Hsiao grad student 2009 Virginia Tech
 (Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

He N, Hsiao MS. (2008) A new testability guided abstraction to solving bit-vector formula Acm International Conference Proceeding Series. 39-45
See more...