Harvey Friedman -

Not registered as user yet

Name:Harvey Friedman

Affiliation:Ohio State University

Personal website: https://u.osu.edu/friedman.8/

Contributions

2016

CPP

Author of Perspectives on Formal Verfication within the CPP-track