Not registered as user yet

Name:Willer Fernandes Santos
Affiliation:UFMG

Contributions

SPLASH 2014 Author of Validation of Memory Accesses Through Symbolic Analyses within the OOPSLA-track