Not registered as user yet

Name: Nathan Collins

Affiliation: Galois, Inc.

Contributions

PPS 2017Author of GraPPa: spanning the expressivity vs. efficiency continuum within the PPS-track