Registered user since Wed 1 Nov 2017
Name: José Fragoso Santos
Affiliation: Imperial College London
Contributions
| POPL 2019 | Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile