conf.researchr.org / Henrique Nazaré Santos
Not registered as user yet
Name:Henrique Nazaré Santos
Affiliation:UFMG
Contributions
| SPLASH 2014 | Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track |
Not registered as user yet
Contributions
| SPLASH 2014 | Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track |