Registered user since Wed 26 Sep 2018

Name: Peter Aldous

Affiliation: Brigham Young University

Contributions

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