Not registered as user yet

Name: Sean Brown

Affiliation: Brigham Young University

Contributions

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