Not registered as user yet

Name: joseph Jones

Affiliation: Brigham Young University

Contributions

JPF 2018 Author of Memory safety in C by abstract interpretation within the JPF-track