Kenneth L. Knowles, Ph.D.
Affiliations: | 2014 | Computer Science | University of California, Santa Cruz, Santa Cruz, CA, United States |
Area:
Computer ScienceGoogle:
"Kenneth Knowles"Parents
Sign in to add mentorCormac Flanagan | grad student | 2014 | UC Santa Cruz | |
(Executable refinement types.) |