SPLASH 2014 (series) / Henrique Nazaré Santos
Not registered as user yet
Name:Henrique Nazaré Santos
Affiliation:UFMG
Contributions
| SPLASH 2014 | Validation of Memory Accesses Through Symbolic Analyses | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile