Shuqing Zhao, Ph.D.
Affiliations: | 2005 | University of California, Irvine, Irvine, CA |
Area:
Computer ScienceGoogle:
"Shuqing Zhao"Parents
Sign in to add mentorDaniel Gajski | grad student | 2005 | UC Irvine | |
(The RTL++ language, semantics, and program verification.) |