Kang Gui, Ph.D.
Affiliations: | 2012 | Electrical and Computer Engineering | Iowa State University, Ames, IA, United States |
Area:
Computer Engineering, Computer ScienceGoogle:
"Kang Gui"Parents
Sign in to add mentorSuraj C. Kothari | grad student | 2012 | Iowa State | |
(Proving safety properties of software.) |