conf.researchr.org / Blair Durkee
Not registered as user yet
Name:Blair Durkee
Affiliation:Clemson University
Contributions
ICOOOLPS 2017 | Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track |
Not registered as user yet
Contributions
ICOOOLPS 2017 | Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track |