Not registered as user yet

Name: James Wasson

Affiliation: Brigham Young University

Contributions

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