Michael A. Colon, Ph.D.
Affiliations: | 2003 | Stanford University, Palo Alto, CA |
Area:
Computer ScienceGoogle:
"Michael Colon"Parents
Sign in to add mentor| Zohar Manna | grad student | 2003 | Stanford | |
| (Deductive techniques for program analysis.) | ||||
Affiliations: | 2003 | Stanford University, Palo Alto, CA |
| Zohar Manna | grad student | 2003 | Stanford | |
| (Deductive techniques for program analysis.) | ||||