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