Rodrigo Ferreira, Ph.D.
Affiliations: | 2010 | Yale University, New Haven, CT |
Google:
"Rodrigo Ferreira"Parents
Sign in to add mentorZhong Shao | grad student | 2010 | Yale | |
(Memory Consistency and Program Verification.) |
Affiliations: | 2010 | Yale University, New Haven, CT |
Zhong Shao | grad student | 2010 | Yale | |
(Memory Consistency and Program Verification.) |