conf.researchr.org / Daniel Welch

Not registered as user yet

Name: Daniel Welch

Affiliation: Clemson University

Contributions

ICOOOLPS 2017 Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track
ECOOP 2017 Author of Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software within the ECOOP Doctoral Symposium-track