Andrew E. McCreight, Ph.D.
Affiliations: | 2008 | Yale University, New Haven, CT |
Area:
Computer ScienceGoogle:
"Andrew McCreight"Parents
Sign in to add mentor| Zhone Shao | grad student | 2008 | Yale | |
| (The mechanized verification of garbage collector implementations.) | ||||